Bunları sadece sıralama aksiyomları (sıralama tanımındaki koşullar) kullanarak ispatlayamayız.
Cisimlerdeki sıralamalarda aranan (fazladan koşullar içeren) sıralamalar için ispatlanabilir.
Bu fazladan koşullar, sıralamanın toplama ve çarpma ile "uyumlu" olması (ve tam sıralama olması) şeklindedir.
Onları belirtmek gerekiyor.
Onları bir listesini yazabilirsen gerisi gelecektir.