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 olsun.
\forall n\in\mathbb{N}^+ için a_{2n-2}<x<a_{2n-1} olur.
(a_0<a_2<a_4<\cdots<a_{2n}<\cdots <x<\cdots<a_{2n-1}<\cdots<a_3<a_1 olur.)
f örten olduğu için f(K)=x olacak şekilde bir K\in\mathbb{N}^+ vardır.
x\neq a_n\forall n\in\mathbb{N} olduğundan K\neq k_n \forall n\in\mathbb{N} olur.
O zaman
k_n<K<k_{n+1} olacak şekilde (tek) bir n doğal sayısı vardır.
x=f(K), a_{n-1} ile a_n arasındadır. Ama bu, k_{n+1} in, f(k_{n+1}),\ a_{n-1} ile a_n arasında olacak şekildeki en küçük doğal sayı olması ile çelişir.