Яңы структураның ҡапма-ҡаршылыҡһыҙлығын иҫбатлауҙың стандарт ысулыxa0—  ҡапма-ҡаршылыҡһыҙлығы икеләнеү тыуҙырмаған икенсе структура объекттары ярҙамында уның аксиомаларын моделләштереү (интерпретациялау). Беҙҙең осраҡта беҙ был аксиомаларҙы ысын һандар базаһында тормошҡа ашырырға тейешбеҙ.