Countable = a one-to-one pairing (bijection) with ℕ → fully listable. ℕ, ℤ, ℚ, the evens all share ℵ₀. But . Nhưng ℝ does NOT: Cantor's diagonal argument always builds a number not in the list → the infinity of ℝ (𝔠) is larger than ℵ₀.
—
Switch the Scenario (Hilbert · ℕ · ℚ zig-zag · ℝ diagonal · bijection · infinity ladder) · click a structure/concept to open a card
Your browser has canvas disabled.
Enumeration progress: ℕ/ℚ countable vs ℝ — the diagonal always escapescountable (reaches every element)ℝ diverges (diagonal escapes)