Тулылыҡ аксиомаһы (Гильберт мәғәнәһендә).  системаһын, -ҙың элементтары араһында элекке нисбәттәр һаҡланғанда,  өсөн бөтә —,  аксиомалар үтәлерлек итеп, бер ниндәй ҙә  системаһына тиклем киңәйтеү мөмкин түгел .