Eureka

∀ε>0 ∃N

對角線枚舉§3 · ℚ 是 countable

ℕ×ℕ

部分與全體一樣多§3 · ℕ ↔ 偶數

supremum 爬行§11 · [0,1] 的完整證明

sup A

讓大家看懂數學

實數分析讀本 →

ℝ ∖ ℚ

蓋子遊戲§11 · compact 的入口

ε > 0

δ(ε)

壞箱子對半剖§11 · Heine-Borel 證明

Q.E.D.

⋂ Iₙ