Был аксиомаларҙан эҙемтә булараҡ бөтә башҡа үҙсәнлектәре килеп сыға. Килтерелгән аксиоматика ҡәтғи, йәғни уның теләһә ниндәй моделдәре ялан булараҡ изоморфлы. Был төрлө моделдәренең бөтә үҙсәнлектәре  берҙәй булыуын аңлатмай; мәҫәлән, p-алыҡ һандар яланының алгебраик йомолоуы  килтерелгән аксиоматиканы ҡәнәғәтләндерә һәм шуға күрә ялан булараҡ  -ға изоморфлы, ләкин топологик арауыҡ булараҡ изоморфлы түгел.