連続体仮説とは？わかりやすく｜無限の大きさ・ゲーデルとコーエンが示した「決められない」

連続体仮説とは？（ひとことで）

連続体仮説とは、「自然数の個数（1, 2, 3, …）より多く、実数の個数（数直線上の点）より少ない、中間の大きさの無限はあるか」という問題です。「中間の大きさの無限はない」という主張が連続体仮説です。1878年にドイツの数学者カントールの業績と生涯が問いかけ、1900年にヒルベルトの23の問題の第1問題として取り上げられました。

この問題の結末は、数学の歴史でもとびきり変わっています。「正しい」とも「まちがい」とも決められない、ということが証明されたのです。1938〜40年にゲーデルの業績と生涯が「今の集合論の公理から、まちがいだと証明することはできない」と示し、1963年にポール・コーエンが「正しいと証明することもできない」と示しました。

つまり、連続体仮説は「未解決」ではなく、「今の数学のルール（公理）だけでは決められない」と解決した問題です。2026年10月の時点で、新しい公理を加えて決着させようとする研究は続いていますが、数学者の意見は分かれていて、全員が納得する答えは出ていません。

無限にも「大きさ」がある、というカントールの発見は、数学の常識をひっくり返しました。まず、その発見からゆっくり見ていきましょう。算術の無矛盾性（ヒルベルトの第2問題）や、「定規とコンパスでは不可能」と証明された三大作図問題、平行線公準の問題のように、数学には「決められない・できないことを証明する」型の解決があります。連続体仮説もその仲間です。

うかるくん

無限って、「ずっと続く」ってだけで、全部同じじゃないんですか？

合格先生

そう思うよね。ところがカントールは、無限にも大きいものと小さいものがあることを証明したんだ。自然数の無限より、実数の無限のほうが「本当に大きい」。このページでは、その理由を図で見たあと、「じゃあ、そのあいだはあるの？」という連続体仮説に進むよ。

連続体仮説の意味をやさしく解説

ステップ1：数えるって、ペアを作ること

無限の個数を比べるために、カントールは「ペアを作る」方法を考えました。机の上のコップとお皿の数を、数えずに比べたいとき、1つずつコップをお皿の上にのせていって、どちらかが余るかを見ればよいですよね。あまりもダブりもなくペアが作れるなら、「同じ個数」です。

この方法で、自然数 $1,2,3,\cdots$ と偶数 $2,4,6,\cdots$ を比べてみましょう。「$n$ 番目の自然数」と「$2n$」をペアにすれば、あまりなく結べます。偶数は自然数の「一部」しかないのに、無限の世界では、一部と全体が同じ個数になるのです。

このような無限を「可算無限」（番号をつけて数えられる無限）といい、その大きさを $\aleph_0$（アレフゼロ）と書きます。整数全体も、分数（有理数）全体も、同じ $\aleph_0$ だと分かっています（有理数とは・自然数と整数の違い）。分数はたくさんあるように見えますが、すべて番号をつけて並べられるのです。

ステップ2：実数は数えきれない（対角線論法）

では、実数（数直線上のすべての数、小数で表せる数）は、番号をつけて並べられるでしょうか。カントールは1874年に、並べられないことを証明し、1891年には、もっとかんたんな対角線論法を発表しました。

0と1のあいだの実数に、番号をつけて並べられたとします。1番目の数、2番目の数、…を小数で書くと、次のような表ができます。

ここで、対角線（1番目の数の1桁目、2番目の数の2桁目、…）に注目します。その数字を1つずつ変えて、新しい数を作ります。この新しい数は、1番目の数とは1桁目が、2番目の数とは2桁目が、…と、どの行の数ともかならずどこかの桁がちがうので、表のどこにも入っていません。

これは「すべての実数を並べた」という最初の仮定に反します。だから、実数は番号をつけて並べることができない、つまり実数の個数は $\aleph_0$ より本当に大きい、と結論できます。この証明は背理法です（命題と証明の考え方）。小数展開については有理数・無理数と循環小数も参照してください。

ステップ3：実数の個数は「べき集合」の大きさ

実数の個数を、もう少し数学らしく言うと、自然数の集合のすべての部分集合の個数と同じです。ある集合のすべての部分集合を集めたものをべき集合といい、要素が $n$ 個の集合のべき集合は $2^n$ 個です。たとえば $\{a,b,c\}$ なら $2^3=8$ 個の部分集合があります（集合の要素の個数・集合とは）。

カントールは、無限の集合でも、べき集合は元の集合より本当に大きいことを、対角線論法と同じ考え方で示しました。自然数全体のべき集合の大きさは $2^{\aleph_0}$ で、これが実数の個数に等しい（連続体濃度 $\mathfrak{c}$ ）ことが知られています。さらにそのべき集合、またそのべき集合、…と考えると、無限にはどこまでも大きい無限があることになります。

ステップ4：連続体仮説は「あいだ」の問い

ここまでで、少なくとも2種類の無限が見つかりました。自然数の無限 $\aleph_0$ と、実数の無限 $\mathfrak{c}=2^{\aleph_0}$ です。そこでカントールは問いました。「$\aleph_0$ と $\mathfrak{c}$ のあいだに、中間の大きさの無限はあるのか」。

カントールは「ない」だろうと予想しました。これが連続体仮説です。式で書けば、$\aleph_0$ の次に大きい無限を $\aleph_1$ とよぶとき、「$2^{\aleph_0}=\aleph_1$」が連続体仮説です。数学者たちは、これを証明しようと何十年も努力しましたが、成功しませんでした。

集合論は数学の「土台」

「集合」は、現代の数学ではあらゆる対象を表すのに使われます。数も、関数も、図形も、集合の言葉で書き直せます。そのため、集合論の公理（ルール）は、数学全体の土台になっています。いま標準になっているのは、ツェルメロとフランケルらが整えたZF公理系に、選択公理（「空でない集合がたくさんあるとき、それぞれから1つずつ要素を選べる」という公理）を加えたZFCです。連続体仮説は、「ZFCから証明できるか、まちがいを示せるか」が問題になりました。

合格先生

連続体仮説は、「自然数の無限」と「実数の無限」のあいだに、別の大きさの無限があるかという問い。ここまでの話は、中高生でも十分に分かる内容だよ！

連続体仮説の歴史と年表

1873〜1874年：無限に大きさのちがいが見つかる

カントールは1873年ごろから、無限の集合の大きさを比べる研究を始めました。1874年の論文で、分数は数えられるが、実数は数えきれないことを証明しました。これは、数学史上の大きな発見です。同じ論文は、「数えられる無限の分数でも、すべての代数的数（整数係数の方程式の解）も数えられるので、そこに入らない超越数がたくさんある」ことも示していて、円周率の超越性の問題とも関係があります。

1877〜1878年：次元は関係ない、そして連続体仮説

1877年、カントールは、直線の点と平面の点が、同じ個数だと気づきました。友人のデデキントの業績と生涯に宛てた手紙には、「私はそれを見ているが、信じられない」という意味の言葉を書いたと伝えられています。1878年には、無限の大きさの分類をまとめた論文で、連続体仮説をのべました。

1891年：対角線論法

1891年、カントールは、いまの教科書にのっている対角線論法を発表します。これは、実数が数えきれないことの短い証明であり、べき集合が元の集合より大きいことの証明にも使える方法でした。

1900年：ヒルベルトの第1問題

1900年、ヒルベルトはパリの国際数学者会議で、20世紀に解決すべき23の問題を発表しました。その第1問題が連続体仮説でした。このとき、すでに20年以上、解決の見通しは立っていませんでした。

1938〜1940年：ゲーデルの結果

オーストリア出身の論理学者ゲーデルは、1938年ごろ、「ZF（選択公理を除いた集合論）が矛盾しないなら、連続体仮説を加えてもやはり矛盾しない」ことを証明しました（1940年に本にまとめました）。つまり、連続体仮説がまちがいだと証明することは、ZFCではできないのです。ゲーデルは「構成可能集合」という、集合論のなかの小さな「世界」を作り、そこでは連続体仮説が成り立つことを示しました。ゲーデル自身は、連続体仮説はまちがいだろうと考えていたと伝えられています。

1963年：コーエンの結果

アメリカのポール・コーエンは、1963年に、連続体仮説が正しいと証明することも、ZFCではできないことを示しました。そのために彼が作ったのが「強制法（フォーシング）」という新しい方法です。ゲーデルの世界に、あらたな実数を「つけ加える」ことで、連続体仮説が成り立たない世界を作り出しました。コーエンは、この仕事で1966年にフィールズ賞を受けています。コーエンの証明を読んだゲーデルが、手紙で「証明を読むのは本当に楽しみだった」という意味の言葉を書いたと伝わります。

連続体仮説はいつ・だれが決着をつけた？（決められないと分かった）

連続体仮説は、1938〜1940年のゲーデルと、1963年のコーエンの2つの結果で、「ZFCからは決められない（独立している）」ことが分かりました。この問題は、「正しい」「まちがい」のどちらかに決着したのではなく、「今のルールだけでは、どちらとも言えない」ことが証明された問題です。

平行線の公理と同じ仕組み

この結末は、平行線公準の問題（ユークリッドの第5公準）と似ています。「直線の外の点を通り、その直線に平行な直線は1本だけ」という公理は、ほかの公理から証明できるのか、長い間議論されました。最後に、この公理を認めない幾何学（非ユークリッド幾何学）も矛盾なく作れることが示され、「ほかの公理からは決められない」と分かりました。連続体仮説も同じで、「成り立つ」と考えても、「成り立たない」と考えても、どちらも矛盾のない集合論ができるのです。

ゲーデルとコーエンの方法（ざっくり）

• ゲーデルの方法：集合論の中に、「必要最低限の集合だけを集めた小さな世界（構成可能集合の世界）」を作ります。この世界でも集合論の公理は全部成り立ち、しかも連続体仮説も成り立つことを示しました。
• コーエンの方法：もとの世界に、新しい実数を大量に「つけ加えて」大きな世界を作ります。この世界でも公理は成り立つのに、実数の個数が $\aleph_1$ より大きくなり、連続体仮説が成り立たなくなります。つけ加える方法が「強制法」です。強制法は、その後の集合論の中心的な道具になりました。

実数の個数は、いくつでもよい？

コーエン以降の研究で、実数の個数 $2^{\aleph_0}$ が $\aleph_1$ になる集合論も、$\aleph_2$ になる集合論も、ZFCと矛盾しない形で作れることが分かりました。ZFCだけでは、実数の個数が「何番目の無限か」を決められないのです（ただし、一部の値は決まっていることも知られています）。

では、本当は正しいの？まちがい？（今の研究）

では、連続体仮説は「実際には」成り立つのでしょうか。2026年10月時点で、数学者の考え方は分かれています。

• 「数学の対象としての集合の世界は1つだけあり、連続体仮説はその世界でどちらかが正しいはずだ」と考える立場。ゲーデルはこの立場で、新しい自然な公理が見つかれば決着すると考えていたと伝えられます。
• 「集合の世界は1つではなく、ZFCが許す世界のどれを選んでもよい」と考える立場。この立場では、連続体仮説は「決まるはずの問題」ではなく、「選んでよい性質」です。
• ウッディンらの数学者は、新しい公理の候補を研究しています。ただし、全員が受け入れる決着は、まだありません。

決着の予想は立てられません。ここでいちばん大切なのは、「これ以上は、今のルールでは決められない」ことを、数学の中で証明できたという点です。算術の無矛盾性の問題で、ゲーデルが「不完全性定理」によって示した「どんなルールにも限界がある」という発見と、同じ流れの中にあります。

うかるくん

「決められない」ことを証明したのが、すごいんだね！答えが出ないことも、数学の大発見になるんだ！

連続体仮説はなぜ難しかったのか

1. 無限は、私たちの日常の感覚とちがう

「全体は部分より大きい」は、有限の世界では当たり前です。でも無限の世界では、偶数が自然数と同じ個数になるように、この当たり前が成り立ちません。直感だけに頼ると、まちがえやすいのです。カントール自身も、発見した事実に驚いていました。

2. 「あいだ」を探しても、見つからない

$\aleph_0$ と $\mathfrak{c}$ のあいだの大きさの集合を作ろうとして、数学者たちはいろいろな集合を試しました。実数のよく知られた部分集合（区間や、閉じた集合など）は、$\aleph_0$ 以下か $\mathfrak{c}$ のどちらかであることが分かっていて、中間のものが見つかりません。かといって、「ない」ことも証明できませんでした。

3. 「証明できない」ことを証明するための道具が必要だった

「ある性質が証明できない」ことを数学の中で示すには、その性質が成り立たない世界を、矛盾なく作ってみせなければなりません。ゲーデルの構成可能集合も、コーエンの強制法も、まったく新しい発想の道具でした。連続体仮説に挑んだことが、集合論という分野そのものを大きく発展させました。

4. 数学の基礎そのものに関わる

連続体仮説の背景には、「数学のルール（公理）とは何か」「ルールから決められない問題が、本当にあるのか」という、数学の基礎についての深い問いがあります。1930年代のゲーデルの不完全性定理が「どんなルールにも、決められない命題がある」と示した後で、連続体仮説は、具体的で有名な「決められない問題」の実例になりました。

よくある誤解：「連続体仮説はまだ解けていない」？

「まだ未解決の難問」と紹介されることがありますが、より正確には「ZFCからは決められないことが証明された」問題です。もちろん、新しい公理を足して決着をつけようという研究は続いているので、「完全に終わった」とも言い切れません。ただ、「だれかが明日、ZFCの範囲で証明を発表する」ということは、起こりえないことが数学的に分かっています（ZFCが矛盾しないという前提で）。

もうひとつの誤解は、「無限は大きさが1種類だけ」という考えです。実際には、無限の大きさにはどこまでも大きいものが続いています。ただ、日常の計算や入試で使う無限は、ほとんどが $\aleph_0$ の無限です。

サクラちゃん

「決められない」って、答えがないってことですか？

合格先生

いい質問。数学の問題には、「公理（ルール）から出発して、正しいかまちがいかを決められる」ものと、「ルールだけでは決められない」ものがある。連続体仮説は後者だと分かった。将棋のルールだけでは、どの手が「最善」かは決まらないのに似ているかもしれないね。ルールを足せば決まることもあるけど、どんなルールを足すのが自然か、で意見が分かれているんだ。

受験・勉強と連続体仮説のつながり

中学受験：集合の考え方・場合の数

中学受験の算数に、連続体仮説は出ません。でも、「ペアを作って比べる」考え方は、鳩の巣原理（ひき出しの原理）や、植木算・つるかめ算などの個数の問題の発想と、根っこでつながっています。「全部で何個か」を数えずに、ペアで比べる発想を練習しましょう。

高校数学：集合と命題・場合の数

数学Aの集合と論理は、カントールが作った集合論の入り口です。「部分集合は何個あるか」という問題は、要素が $n$ 個なら $2^n$ 個（集合の要素の個数の求め方、集合の基本）。この計算は、ステップ3でみた「べき集合」の個数そのものです。背理法や「ある」「すべての」を使う論理（命題と証明・「すべて」と「ある」の否定）は、対角線論法の理解に欠かせません。

大学入試：可算・非可算の話題

入試で連続体仮説が出ることは、まずありません。ただ、「有理数は番号をつけて並べられる」「実数は並べられない」という話題は、大学の数学や、数学が得意な生徒向けの教養問題で見かけることがあります。大学の数学科では、1年生のうちに集合論や実数の性質として学びます。

勉強法として：「ペアを作る」「対角線で変える」

対角線論法から学べるのは、「すべてがもれなく並んでいる」と仮定して、そこから矛盾を引き出すという、背理法の強力な使い方です。入試の証明問題でも、「そうでないと仮定すると、どこかでおかしくなる」という組み立ては大切な型です。数学の勉強の進め方は数学の勉強法（解法の暗記→演習→過去問）も参考にしてください。

自由研究にも：無限ホテルを考えよう

ヒルベルトが考えた「無限ホテル」の話は、中学生にも楽しめる題材です。部屋が無限にあり、すべて満室のホテルに、新しいお客さんが1人来たとき、どうすれば泊められるでしょうか。（答え：1号室の人を2号室、2号室の人を3号室…とずらせば、1号室が空きます。）バスで無限人のお客さんが来ても、「$n$ 号室の人を $2n$ 号室へ」と移ってもらえば、奇数号室が全部空きます。ペア作りの考え方を、自分で確かめてみましょう。数の不思議を楽しむなら、プラトン数（12960000）と216の不思議もおすすめです。

連続体仮説が数学・社会にあたえた影響

• 集合論という分野の発展：ゲーデルの構成可能集合や、コーエンの強制法は、集合論の中心的な道具になりました。強制法を使えば、いろいろな「もしも」の世界を作って、命題が決められるかどうかを調べられます。
• 「独立」という考え方：「ある命題は、公理から証明も反証もできない」という「独立性」の考え方が、数学全体に広がりました。連続体仮説のほかにも、集合論の外側の分野（解析・代数・位相）で、ZFCから決められない問題が見つかっています。
• 数学の基礎についての見方：「数学的な真理とは何か」を考える数学の哲学に、大きな影響をあたえました。集合の世界は1つか、いろいろあるかという議論は今も続いています。
• 無限の理解：カントールの発見によって、無限は「ずっと続く」ものから「大きさをもつ数学の対象」になりました。現代の解析学や位相の基礎になっています。
• コンピューターの理論：対角線論法は、チューリングの業績と生涯が「計算できない問題がある」ことを示すときにも使われ、P≠NP予想などコンピューターの難問の考え方の土台にもなっています。

カントールが築いた集合論は、はじめ「数学の病気」とまで言われるほど批判されました。でも今では、ヒルベルトが「カントールが創った楽園から、だれも私たちを追い出すことはできない」と評したと伝えられるように、数学のあらゆる分野の土台になっています。

連続体仮説に挑戦！練習問題

連続体仮説と関係する数学者・難問

• カントール（集合論の創始者）：無限の大きさを発見し、1878年に連続体仮説をのべました。
• ゲーデル：1938〜40年に、連続体仮説が反証できないことを示しました。不完全性定理でも知られます。
• ポール・コーエン：1963年に強制法を発明し、連続体仮説が証明できないことを示しました。
• ヒルベルト：1900年に、23の問題の第1問題としてあげました。
• デデキントとラッセル：カントールの友人で実数の研究者、そして集合論のパラドックス（ラッセルのパラドックス）を見つけた論理学者です。
• 算術の無矛盾性の問題・平行線公準の問題・三大作図問題・円周率の超越性：「決められない・できない」の証明や、数の種類でつながる難問です。

ほかの解かれた難問・決着した問題

• 三大作図問題とは（不可能・決められないと証明）
  定規とコンパスだけで、円と同じ面積の正方形・体積2倍の立方体・角の三等分を作図できるか。どれも不可能と証明された
• 平行線公準の問題とは（不可能・決められないと証明）
  ほかの公理から平行線の公理を証明できるか。証明できず、成り立たない幾何学（非ユークリッド幾何学）もあると分かった
• 5次方程式の解の公式とは（不可能・決められないと証明）
  2次・3次・4次方程式のような、四則と累乗根だけの解の公式が5次方程式にもあるか。一般にはないと証明された
• ケプラー予想とは（解決）
  同じ大きさの球をいちばん密に詰める方法は、八百屋のみかんの積み方か。コンピューターで証明
• ケーニヒスベルクの橋の問題とは（解決）
  7つの橋を1回ずつ渡って元にもどれるか。できないと示し、グラフ理論が生まれた
• 四色問題とは（解決）
  どんな地図も4色でぬり分けられるか。コンピューターを使った初めての大きな証明
• ポアンカレ予想とは（解決）
  穴のない3次元の図形は、球と同じ形と言えるか。ミレニアム懸賞問題で唯一の解決
• ABC予想とは（解決と発表・評価が分かれる）
  a＋b＝c のとき、c は abc の素因数の積よりめったに大きくならない。望月新一の証明は2021年に論文掲載、評価が分かれている

← 前の時代：リーマン予想とは（未解決）　｜　次の時代：ポアンカレ予想とは（解決） →

数学の難問・未解決問題の一覧（いつ・だれが解いたか）　｜　有名な数学者一覧

読みもの（合格大作戦の数学の記事）

• 算数・数学の公式一覧（公式辞典）
  公式・証明・例題を1つずつ
• 数学用語辞典（用語の意味を1語1ページ）
  素数・漸近線など200語
• プラトン数（12960000）と216の不思議
  3³＋4³＋5³＝6³
• 数学の勉強法（解法の暗記→演習→過去問）
  青・黄・赤チャートの使い分け
• 数学でよく使う記号の意味一覧
  ∞・Σ・∫ などの記号と読み方
• フェルマーの最終定理とは？わかりやすく解説
  n＝2と3以上の違い、ワイルズの証明

よくある質問

あわせて読みたい

• 数学の難問・未解決問題の一覧
• 有名な数学者一覧
• 算数・数学の公式一覧（公式辞典）