15.17. Tétel
Egész számok teljes rendezése egyértelmű
Az egész számok gyűrűjének alaphalmazán pontosan egy olyan teljes rendezés létezik, amelyre teljesülnek a 15.11. Definícióban megfogalmazott rendezési axiómák. Ennek a teljes rendezésnek a pozitivitástartománya épp a 13.11. Definíció szerinti pozitív, negativitástartománya pedig az ugyanezen definíció szerinti negatív egész számokból áll.
♣