Bunu göstermek için Tam sıralı cisimlerin 2 özelliği yeterli olacaktır.
1. En büyük eleman yoktur ve herhangi iki (farklı) eleman arasında sonsuz çoklukta eleman vardır. (bunlar tüm sıralı cisimlerde doğrudur)
2. İçiçe sınırlı ve kapalı aralıkların kesişimi boş olamaz.
İspat: Bir f:N+→F 1-1 ve örten fonksiyonunun var olduğunu varsayalım. Bir çelişki elde deceğiz.
f(1)=a0 diyelim. k1∈N+ f(k1)>a0 şeklindeki en küçük doğal sayı olsun. (k1>1 dir.) a1=f(k1) diyelim.
k2∈N+, a0<f(k2)<a1 şeklindeki en küçük doğal sayı olsun. k2>k1 olur. a2=f(k2) diyelim.
k3∈N+, a2<f(k3)<a1 şeklindeki en küçük doğal sayı olsun. k3>k2 olur. a3=f(k3) diyelim.
Bu şekilde , tümevarım ile, bir (kn) kesin artan doğal sayılar dizisi oluştururuz. Bu dizi için f(kn+1)=an+1, an ile an−1 arasındadır (ikisine de eşit değil) ve kn+1>kn bu özellikteki en küçük doğal sayıdır.
(n tek ise f(kn)>f(kn−1) , n çift ise f(kn)<f(kn−1))
(a0<a2<a4<⋯<a2n<⋯<a2n−1<⋯<a3<a1 olur.)
[a2n−2,a2n−1] (n≥1) içiçe kapalı sınırlı aralıklar dizisinin arakesiti boş olamaz.
x∈∞⋂n=1[a2n−2,a2n−1]=[sup{a2n},inf{a2n−1}] olsun.
∀n∈N+ için a2n−2<x<a2n−1 olur.
(a0<a2<a4<⋯<a2n<⋯<x<⋯<a2n−1<⋯<a3<a1 olur.)
f örten olduğu için f(K)=x olacak şekilde bir K∈N+ vardır.
x≠an∀n∈N olduğundan K≠kn∀n∈N olur.
O zaman
kn<K<kn+1 olacak şekilde (tek) bir n doğal sayısı vardır.
x=f(K), an−1 ile an arasındadır. Ama bu, kn+1 in, f(kn+1), an−1 ile an arasında olacak şekildeki en küçük doğal sayı olması ile çelişir.