一個你能證明存在的洞
有理數感覺上是完備的——任意兩個之間永遠還夾著另一個；這種稠密性讓它們看上去沒有縫。但外表再次騙人。考慮所有平方小於 2 的正有理數構成的集合。它有上界（比如 2），所以它理應有一個最小上界——一個最小的天花板。在有理數中，那個天花板必須是一個平方恰好等於 2 的數。而這樣的有理數根本不存在。
Claim: there is NO rational number x with x^2 = 2.
Proof by contradiction.
Suppose x = p/q is rational, in LOWEST terms (p, q share no factor),
and x^2 = 2. Then p^2 / q^2 = 2, so p^2 = 2 q^2.
So p^2 is even. A square is even only if its root is even,
so p is even: write p = 2k.
Then (2k)^2 = 2 q^2 -> 4 k^2 = 2 q^2 -> q^2 = 2 k^2.
So q^2 is even, hence q is even too.
But now p and q are BOTH even -- they share the factor 2.
That contradicts "lowest terms."
The assumption must be false. No rational squares to 2. QED.
Consequence: the set A = { x in Q : x > 0 and x^2 < 2 } is bounded
above but has NO least upper bound INSIDE the rationals. There is a
HOLE in Q exactly where sqrt(2) should be.填平每一個洞的公理
實數的構造恰恰是為了讓這種事永不發生。其決定性的法則是完備性公理，通常表述為最小上界性質：每一個有上界的非空實數集，都有一個*最小的*上界，稱為它的上確界。不存在「應有卻缺席的最小天花板」。每一個該有頂的集合都有它的頂，就穩穩地待在實數裡。
把它用到我們的集合 A = { x > 0 : x² < 2 }。在實數裡，A 有上界，於是完備性*直接交給我們*一個實數 s = sup A。接著可以證明 s² 既不小於 2 也不大於 2（任何一種都能讓你微調 s，從而與「它是最小上界」矛盾），所以 s² = 2。完備性公理實實在在地把 √2 製造為一個指向空位的集合的上確界。連續統就是這樣被弄得沒有洞的。
為什麼極限需要完備性
完備性不是抽象的記帳；它是讓極限真正*落地*的東西。取 √2 的有理小數截斷：1, 1.4, 1.41, 1.414, …。這個數列單調遞增、且以 1.5 為上界。在有理數裡它什麼也收斂不到——它的目標是個洞。在實數裡，完備性保證目標存在：每一個有界遞增數列都收斂，且收斂到其各項的上確界。
這是你將遇到的幾乎每一條存在性定理底下那臺安靜的引擎。一個根之所以存在，*是因為*實數完備；一個擠作一團的數列——一個柯西數列——之所以有極限，*是因為*實數完備；波爾查諾–魏爾斯特拉斯定理和區間套定理都不過是完備性換了身衣服。抽走完備性，分析學就垮了；放回它，極限終於有了落腳之處。