Конкрет теория сиктәрендәге аксиомалар йыйылмаһының формалашыуы критерийҙары йыш ҡына прагматик була: формулировканың ҡыҫҡалығы, манипуляциялау еңеллеге, сығанаҡ төшөнсәләр һанының мөмкин тиклем әҙ булыуы һ. б. Бындай ҡараш ҡабул ителгән аксиомаларҙың дөрөҫлөгөн гарантияламай[1].