Zorn önsavı

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

Seçme aksiyomuna eşdeğer bir önermedir şunu söyler;Kısmi sıralanmış bir küme alın bu kümedeki her zincir için kümede zincirin her elemanından daha büyük bir eleman olsun,bu durumda kümede kendisinden daha büyük eleman olmayan bir eleman vardır.