Is one infinity bigger than another? A daring question

💡 The Idea

Cantor proved that not all infinities are the same size. The natural numbers {1, 2, 3, 4, …} are countably infinite (written |ℕ|, or ℵ₀ — "aleph-null"). You can list them in order, and any infinite set that can be matched one-to-one with this list has the same size. The real numbers — every point on a number line, including all decimals — are uncountably infinite (written |ℝ|). Cantor's diagonal argument proves this: 1. Assume someone hands you a complete numbered list of all real numbers between 0 and 1. 2. Look at the 1st digit of number 1, the 2nd digit of number 2, the 3rd digit of number 3, etc. — the "diagonal." 3. Change each diagonal digit (e.g. add 1, wrapping 9→0). You now have a new number. 4. This new number differs from every number on the list in at least one digit — so it cannot be on the list. 5. But it IS a real number between 0 and 1. Contradiction: the list was not complete. 6. No complete list can exist → the real numbers cannot be counted → |ℝ| > |ℕ|. There are infinitely many sizes of infinity. Cantor called them transfinite cardinal numbers.

칸토어는 모든 무한이 같은 크기가 아니라는 것을 증명했어요. 자연수 {1, 2, 3, 4, …}는 가산적 무한(|ℕ|, 또는 ℵ₀ — "알레프 영"으로 씀)이에요. 순서대로 나열할 수 있고, 이 목록과 일대일 대응이 가능한 무한 집합은 같은 크기예요. 실수 — 수직선 위의 모든 점, 모든 소수 포함 — 는 비가산적 무한(|ℝ|)이에요. 칸토어의 대각선 논법이 이를 증명해요: 1. 누군가 0과 1 사이 모든 실수의 완전한 번호 목록을 줬다고 가정해요. 2. 1번 수의 1번째 자리, 2번 수의 2번째 자리, 3번 수의 3번째 자리 등 — "대각선"을 봐요. 3. 각 대각선 자리를 바꿔요(예: 1 더하기, 9→0). 이제 새로운 수가 생겼어요. 4. 이 새 수는 목록의 모든 수와 적어도 한 자리에서 달라요 — 그러니 목록에 있을 수 없어요. 5. 하지만 이 수는 0과 1 사이의 실수예요. 모순: 목록은 완전하지 않았어요. 6. 완전한 목록은 존재할 수 없어요 → 실수는 셀 수 없어요 → |ℝ| > |ℕ|. 무한에는 무한히 많은 크기가 있어요. 칸토어는 이를 초한 기수라고 불렀어요.

📚 Grammar focus

Mixed Review & Big Ideas

✏️ Try it

Use Cantor's diagonal argument idea to answer: why can't you make a complete list of all decimal numbers between 0 and 1? Write your answer in 3–4 sentences, using at least one modal verb (can, cannot, must, will) and one comparative (bigger, larger, more). Bonus: Is the set of even numbers {2, 4, 6, 8, …} countably or uncountably infinite? Explain in one sentence.