高校数学は何個の公理でできているか
難易度: 上級
実数の公理から高校数学を建て直す
問い：高校数学の「底」は何か
高校で習う数学は驚くほど多彩である。式の計算、関数、三角比、指数・対数、数列、微分積分、複素数、ベクトル、座標幾何、確率・統計。これらがすべて、いったいいくつの「最初の約束ごと（公理）」から出発しているのか。本記事はこの問いに正面から答える。結論を先に言う。
結論
高校数学で扱う対象の大部分は、集合と論理を土台として、実数を完備順序体とみなせば、その約 15 個の公理の上で展開できる。指数・対数・三角・複素数・微積分・数列・確率は、この実数体の上で実数の公理以外の新しい数学的仮定を追加せずに「定義」として構成できる。幾何も座標を入れれば実数に吸収される。
そして、その 15 個のうち本質的に強いのはただ1つ、「完備性」である。
公理の「数え方」について — 先に立場を宣言する
「何個か」はどこを出発点に選ぶかで変わる。混乱を避けるため、本記事の立場を先に決めておく。
- 建設ルート：自然数のペアノ公理（≈5）から出発し、$\mathbb{Z}\to\mathbb{Q}\to\mathbb{R}\to\mathbb{C}$ を定義で積み上げる。途中で新しい公理は足さない（完備性さえ構成した $\mathbb{R}$ の定理として出る。強さが現れるのは $\mathbb{R}$ を作る一段）。
- 直接ルート（本記事の主カウント）：$\mathbb{R}$ を完備順序体として直接公理化する ＝ 15 個（体 10 ＋ 順序 4 ＋ 完備性 1。体 10 は非退化公理 $0\neq1$ を含めた数え方）。
重要なのは、この2つは足し算ではないこと。直接ルートの 15 個は、自然数 $\mathbb{N}$ を $\mathbb{R}$ の中の「最小の帰納的集合」として定義で回収するので、ペアノの 5 個を別に加える必要はない。両ルートは同じ数学への別の入口にすぎない（ゆえに「15＋5＝20」とはならない）。
幾何だけは独立の軸である：座標化すれば追加ゼロで実数に吸収される。総合幾何（点・直線を未定義語とするユークリッド流）を立てる場合は、それ自体が幾何を一から公理化した自己完結系——ユークリッドの 5 公準＋5 共通概念、厳密にはヒルベルトの約 20 公理、あるいはタルスキの 11 公理＋連続性図式——になる。これは 15 に足し算されるものではない（先のペアノと同様、別の入口である）。平面についてはこれらは実数体（正確には実閉体）の構造と等価で、新しい強さを足すわけではない。本記事は座標化の立場をとり、数え方は上記の直接ルート——体10 ＋ 順序4 ＋ 完備性1 ＝ 15——に固定する。以下ではこの 15 を基準に進める。
この主張は、より広い「逆数学」の視点——定理ごとに必要な公理の強さを測る——を、最も身近な題材で具体化したものである。逆数学の言葉でいえば、高校数学で実際に使う多くの計算的・構成的な議論は、階層の最下層（$\mathsf{RCA}_0$ 付近＝計算可能な数学）で捉えられる（ただしこれは高校数学全体を一つの形式体系として同定する主張ではない。高校数学は形式化された体系ではないからである）。高校は対象を計算で求める・場所を特定するのが基本で、たとえば中間値の定理（符号が変われば零点がある）を素朴に使い、最大・最小も増減表で具体的に読み取る——いずれも最弱の $\mathsf{RCA}_0$ で足りる。ハイネ＝ボレルやボルツァーノ＝ワイエルシュトラスのような抽象的な存在定理は高校では扱わず、大学1〜2年の解析学で学ぶ（逆数学の強さでいえば $\mathsf{WKL}_0$・$\mathsf{ACA}_0$ にあたる。ただし $\mathsf{WKL}_0$／$\mathsf{ACA}_0$ という体系を扱う逆数学そのものは専門課程以降の内容）。$\mathsf{RCA}_0$〜$\mathsf{ACA}_0$ に散らばるのは「高校数学」というより「普通の数学」（逆数学が相手にする標準的な解析・代数）の話である。
出発点：自然数のペアノ公理
すべての数は自然数から始まる。自然数 $\mathbb{N} = \{0, 1, 2, \ldots\}$ を定めるのがペアノの公理である。
ペアノの公理（要点）
- $0$ は自然数である。
- 各自然数 $n$ には後者 $S(n)$（次の数）がある。
- $0$ はどの数の後者でもない。
- 後者をとる操作 $S$ は単射である（$S(m)=S(n) \Rightarrow m=n$）。
- 数学的帰納法：$0$ が性質 $P$ を持ち、$P(n)\Rightarrow P(S(n))$ ならば、すべての自然数が $P$ を持つ。
本質的にこの5項目。二階の論理で書けば、自然数の構造はわずか2〜3個の公理で一意に（同型を除いて）決まる。
加法・乗法・大小はこれらから定義される（$n+0=n,\ n+S(m)=S(n+m)$ など）。したがって「$1+1=2$」も「足し算の交換法則」も公理ではなく定理である。出発点はあくまで上の5項目のみである。
数の建設：ℕ→ℤ→ℚ→ℝ→ℂ はすべて「定義」
自然数から、高校で使うすべての数体系が定義の積み重ねだけで作られ、この構成では新しい公理は一切要らない。次節で主役になる完備性さえ、ここでは構成した $\mathbb{R}$ の定理として導かれる（デデキント切断で作った $\mathbb{R}$ が完備であることは証明できる）。ただし強さが宿る一段はある——$\mathbb{Q}$ から $\mathbb{R}$ を作る段である。なお、$\mathbb{R}$ を直接公理化する立場（次節）では、この同じ完備性が「ただ一つの新しい公理」になる。構成では定理、公理化では公理——いずれにせよ強さが集まるのは $\mathbb{R}$ を作る一段である。
但し書き：「定義」は集合の基本操作を前提にしている
ここでいう「定義」は、対を作る・同値関係で割る（商集合）といった集合の基本操作を認めた上でのものである。厳密にはこれらは集合論の公理（対の公理・分出公理など）に支えられている。高校数学の範囲では、こうした操作は「論理と集合」の常識として暗黙の前提とされる。つまり正確には「実数の公理以外に新しい数学的仮定を足さない」という意味での「定義だけ」である。
- $\mathbb{Z}$（整数）：自然数の対 $(a,b)$ を「$a-b$」とみなし、$(a,b)\sim(c,d) \Leftrightarrow a+d=b+c$ で同一視する。負の数はこうして定義される。
- $\mathbb{Q}$（有理数）：整数の対 $(a,b)$（$b\neq0$）を「$a/b$」とみなし、$(a,b)\sim(c,d)\Leftrightarrow ad=bc$ で同一視する。有理数体が得られる。
- $\mathbb{R}$（実数）：有理数のデデキント切断、または有理数のコーシー列で定義する（実数とは何か）。ここで初めて完備性という強い性質が立ち上がる。
- $\mathbb{C}$（複素数）：実数の対 $(a,b)$ を $a+bi$ とみなし、$i^2=-1$ となるよう積を定める。$\mathbb{R}^2$ への構造の付加で、新しい公理は不要。
関数たちもすべて「定義」
高校で重要な指数・対数・三角関数も、実数体の上の関数として定義できる。たとえば $$ \exp(x)=\sum_{n=0}^{\infty}\frac{x^n}{n!},\qquad \sin(x)=\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!} $$ のべき級数（その収束は完備性が保証する）や、微分方程式の解として与えられる。新しい公理は何も足していない。三角関数の復習で扱う加法定理なども、すべてここからの定理である。
ただ一つの強い追加：完備性
実数を「完備順序体」として直接公理化すると、高校数学の土台が一望できる。公理は3群に分かれる。
有理数体 $\mathbb{Q}$ は体の公理も順序の公理も満たす。$\mathbb{R}$ と $\mathbb{Q}$ を分けるのは、ただ一つ完備性だけである。$\sqrt{2}$ が存在し、極限が収束し、数直線に穴がないのは、すべてこの公理のおかげだ（実数の公理）。
順序の公理はなぜ「4個」か（数え方の確定）
順序は $\lt$ を基本にとると、ちょうど4本で尽きる。① 三分律（任意の $a,b$ で $a \lt b,\ a=b,\ b \lt a$ のいずれか一つだけ ＝ 全順序）、② 推移律、③ 加法との両立（$a \lt b \Rightarrow a+c \lt b+c$）、④ 乗法との両立（$0 \lt a,\ 0 \lt b \Rightarrow 0 \lt ab$）。
「3個」と書かれることもあるが、それは ① を「全順序であること」一語に束ねた数え方にすぎない。逆に $\le$ を基本にとり、反射律・反対称律・推移律・全順序性に分ければ純粋な順序公理は4本になり、両立2本と合わせて6本と数える流儀もある。本記事は最も標準的な $\lt$ 基準の4個に確定する。体の公理は非退化 $0\neq1$ を含めて10と数えるので、「体 10 ＋ 順序 4 ＋ 完備性 1 ＝ 15」と過不足なく一致する（$0\neq1$ を省いて体 9 とすれば 14。いずれにせよ十数個で、本記事は15を基準にする）。
完備性（上限性質）
空でなく上に有界な実数の集合 $S$ は、必ず最小の上界（上限） $\sup S$ を持つ。
この上限性質は「すべての部分集合」に量化する二階の性質である。実数が同型を除いて一意に定まる（完備順序体は本質的にただ一つ）のは、この二階の完備性による。一階の公理だけに弱めると、レーヴェンハイム＝スコーレムの事情で一意性は失われる。
同値な言い換え：有界単調数列は収束する／コーシー列は収束する／アルキメデスの性質＋区間縮小法。
完備性が効く唯一の場所：存在
完備性は有限回の四則や初等関数の値を計算するぶんには効かない。$3+5$ や $\sin(\pi/6)$ の値を出すのに完備性は要らない。完備性が新たに生み出すのは「存在」——上限・極限・収束部分列のような点が確かにそこにある、という保証——である。
注意：「計算」でも極限を伴うものには完備性が要る
「計算に要らない」のは有限回の操作に限った話である。テイラー級数の収束、無限和の値、$\lim$ を含む量の正当化など、極限を伴う計算では、その極限が実数として存在することを完備性が保証している。「計算」と「存在」は地続きであり、無限の操作に踏み込んだ瞬間に完備性が顔を出す。
より正確には、本質的な境界は「有限 vs 無限」そのものではなく「有効な誤差評価（収束の速さ、modulus）を持つか」にある。$\sqrt2$ や $\sin 1$ のような初等関数の値は明示的な誤差評価（たとえばテイラー余項やニュートン法の誤差）を持つので、任意の精度を有限の有理数計算で出せる。電卓が $\sqrt2$ を $1.41421\ldots$ と返すのはこのためで、$\sqrt2$ という完成した実数（記号 $\sqrt2$ そのもの）を返す必要はない。一方、有界単調列の収束や上限の存在は収束することは分かっても速さが一般に計算できないため、極限の存在を非構成的に保証する完備性が要る。値を近似として生成できるかが分かれ目である。
純粋に完備性そのものを要する代表例は、次の「極限がらみの存在」3つである。これらは有理数体や実代数的数体のような完備でない体では崩れる。
- 上に有界な実数集合の上限 $\sup$ が存在する
- 有界単調数列が収束する
- 有界数列に収束部分列が存在する（ボルツァーノ＝ワイエルシュトラス）
一方、次のように「$\mathbb{Q}$ では消えるが $\mathbb{R}$ では存在する」例も多い。ただしこちらは完備性そのものまでは要らない（平方根で閉じていれば足りる。後述）。
- $x^2=2$ を満たす実数 $\sqrt{2}$ が存在する
- 2つの円が交点を持つ（次の図）
- 多項式に対する中間値の定理
「2円の交点」は、$\mathbb{Q}$ と $\mathbb{R}$ の存在の差が目で見える好例である。下図はユークリッドの最初の命題、正三角形の作図である。
なぜ「すり抜ける」のか
2円 $x^2+y^2=1$ と $(x-1)^2+y^2=1$ の交点は $\left(\tfrac12,\ \pm\tfrac{\sqrt3}{2}\right)$。$y$ 座標に $\sqrt3$ が現れるが、$\sqrt3$ は有理数ではない。ゆえに $\mathbb{Q}^2$ の中では交点が「存在しない点」となり、$\mathbb{R}^2$ では存在する。
精密に：交点の存在は「完備性そのもの」ではなく「平方根で閉じていること」
注意したいのは、この交点の存在に本当に必要なのは「正の数が平方根を持つ」こと——すなわちユークリッド体、より一般には実閉体であること——であって、完備性そのものではない点である。実際、実代数的数体 $\mathbb{R}\cap\overline{\mathbb{Q}}$ は完備ではないが実閉なので、この交点はそこにも存在する。完備性は実閉性を含むより強い性質であるから「$\mathbb{R}$ なら存在する」とは言えるが、交点の存在を完備性だけに帰するのは厳密には言い過ぎである。
純粋に完備性を要するのは、上で挙げた上限・単調収束・ボルツァーノ＝ワイエルシュトラスのような極限がらみの存在のほうである（これらは実閉だが完備でない体で崩れる）。作図や代数的な点の存在は実閉体で足りる——この「定理ごとに必要な強さが違う」ことを精密に測るのが逆数学である。それゆえ高校幾何の作図は、完全な完備性より弱い公理で正当化できる。
幾何も同じ：座標化すれば公理ゼロ
高校の図形問題は、一見すると実数とは別の「幾何の公理」が要りそうに見える。しかし座標を入れると、幾何はまるごと実数の代数に翻訳される。
幾何 → 実数の辞書
| 幾何の言葉 | ℝ での定義 |
|---|---|
| 点 | 実数の対 $(x,y)$ |
| 直線 | 一次方程式 $ax+by+c=0$ の解 |
| 距離 | $\sqrt{(x_1-x_2)^2+(y_1-y_2)^2}$ |
| 角 $\theta$ | $\cos\theta = \dfrac{\vec a\cdot\vec b}{|\vec a|\,|\vec b|}$（直交は内積 $=0$） |
| 円 | $(x-a)^2+(y-b)^2=r^2$ |
この辞書を通すと、三平方の定理は距離公式そのもの、円周角の定理は内積の計算、重心・外心の存在は連立一次方程式の可解性になる。幾何の定理が実数の代数恒等式に化け、新しい公理は一つも要らない。総合幾何（点・直線を未定義語とするユークリッド流）を別建てにするなら、それは幾何を一から公理化した自己完結系（ユークリッドの5公準＋5共通概念、ヒルベルトの約20公理、タルスキの11公理＋図式など）になる。ヒルベルトの公理系は座標を使わず内部で座標体を構成するので、15 に足されるのではなく、平面については実数体（実閉体）の構造と等価な別の土台であり、本質的な強さは変わらない。座標化を選ぶ本記事ではあくまで追加ゼロ＝15のままである。
（発展）高校幾何は「機械的に決定可能」
ここからは発展的な話題。タルスキは、一階のユークリッド幾何が決定可能であること——任意の幾何命題の真偽をアルゴリズムで判定できること——を証明した。その判定法が量化子消去であり、計算機代数ではCAD（円筒代数分解）として実装される。高校幾何の定理は「実数から導ける」だけでなく、座標化して計算で証明できるのである。興味があれば量化子消去と CADへ。
論理は公理とは別の前提
「高校数学は15個の公理から導ける」と言うとき、実は論理という推論エンジンを暗黙に仮定している。論理は公理から導くものではない。かといって「公理より下の別の公理層」でもない。論理は公理と並ぶもう一つの前提であり、両者がそろって初めて定理が建つ。たとえるなら、公理が「材料」、論理が「設計図」である。
高校で習う論理——命題、必要・十分条件、逆・裏・対偶、ド・モルガンの法則、背理法、反例——は、命題論理の真理値表で機械的に確かめられる（集合と論理）。つまり論理の法則そのものは「証明できる」が、それは公理から導くのではなく、論理の内部で確かめられる。
隠れた選択：高校数学は「古典論理」を採用している
高校で当たり前に使う背理法のうち、「$\neg P$ と仮定して矛盾を導き、ゆえに肯定命題 $P$ を結論する」形は、実は古典論理に固有の原理である。構成的（直観主義）数学ではこれが成り立たない。
ここは精密にしておく価値がある。背理法すべてが古典固有なのではない。否定命題を示す形——「$P$ と仮定して矛盾、ゆえに $\neg P$」——や、$P \Rightarrow \neg\neg P$ は直観主義論理でも成り立つ。古典論理に固有なのは、二重否定を外す $\neg\neg P \Rightarrow P$（＝排中律と同値）であり、上の「肯定命題を否定の矛盾から導く」背理法はまさにこの形にあたる。「$\sqrt2$ は無理数」のように否定命題を示すぶんには構成的にも正当で、肯定命題を背理法で得るときにだけ古典論理を選んでいる、というのが正確な姿である。
高校と大学はどう違うか
ここまでの整理によって、高校数学と大学数学の境界が明確になる。一言でいえば次のとおりである。
高校と大学の違い（一言で）
高校数学は「ℝ という構造の中で計算する」。大学数学は「その ℝ を公理から建て、性質を証明し、さらに公理を取り替えて別の構造も作る」。
転換は4つにまとめられる。
- 計算 → 証明：成果物が「数（答え）」から「定理」に変わる。
- 暗黙の公理 → 明示の公理：高校が黙って使った完備性を、大学は ε-δ 論法で表に出し、極限・中間値の定理・最大値定理を完備性から証明し直す（なぜ厳密化するのか）。
- 具体 → 抽象：体の公理から完備性や順序を外して、群・環・体・距離空間・位相空間など「公理を満たす任意の構造」を調べる。抽象化とは公理を削って何が生き残るかを見る操作である。
- 記述的定義 → 創造的定義：「円とは等距離の点の集合」（描写）から、「群とは…を満たす集合」（創造）へ。定義が出発点になる。
大学では、高校で出会わない非構成的な存在（書き下せないが存在する対象）や、至る所連続で微分不可能な関数のような病理が前面に出る。これらはまさに完備性と構成・非構成の問題であり、高校が「当たり前」として飛ばした部分の正体である。
天井：ゲーデルと「導ける < 真」
本記事の主張は「高校数学は15個の公理から導ける」だった。すると当然の問いが起こる——「導ける」は「真であるものすべて」と同じなのか? 答えは「いいえ」で、ここに正確な上限がある。論理を算術と十分強く組み合わせると、ゲーデルの不完全性定理により、真なのに公理から証明できない命題が必ず現れる。すなわち
導出可能性の限界
十分な算術を含む無矛盾な公理系では、$\{\text{公理から導ける命題}\} \subsetneq \{\text{真である命題}\}$。
ここでいう「真」とは
誤解を避けるために補足する。この「真」は、自然数の標準モデル $\mathbb{N}$ において真という意味である。ゲーデルが構成する命題は、$\mathbb{N}$ では真だが当の公理系からは証明できない。「真」は何か絶対的・神秘的なものではなく、私たちが意図する標準的な自然数の世界での真理値を指している。
幸い、高校数学はこの壁に決して当たらない。高校で扱う命題は、不完全性が顔を出すほどの算術的な強さを意識的に使わないからである。だが「すべて公理から導ける」と言うときは、この天井——導けることと真であることは厳密には別——を心に留めておくのが誠実である。
まとめ
本記事の要点
- 高校数学のほぼ全体は ℝ ＝ 完備順序体の 15 公理（体10＋順序4＋完備性1。体10は非退化 0≠1 を含む数え方）から、論理を推論エンジンとして導ける。
- これは「ペアノ ≈5」とは足し算しない。$\mathbb{N}$ のペアノ公理 ≈5 から $\mathbb{Z}\to\mathbb{Q}\to\mathbb{R}\to\mathbb{C}$ を定義で積み上げる建設ルートと、ℝ を直接公理化する直接ルート（約15）は、同じ数学への別の入口。本質的な強さが集まるのは ℝ の完備性ただ1点（構成では定理、公理化では1個の公理）。
- 完備性が純粋に効くのは極限がらみの「存在」（上限・単調収束・ボルツァーノ＝ワイエルシュトラス）。有限回の四則・初等関数値の計算には要らないが、極限を伴う計算の正当化には要る。√2 や2円の交点の存在は、実は完備性まで要らず実閉体（平方根で閉じた体）で足りる。
- 幾何は座標化すれば公理ゼロで実数に吸収され、しかも決定可能（CAD）。
- 論理は公理とは別の前提（材料＝公理、設計図＝論理）。高校は古典論理を採用し、肯定命題を導く背理法（二重否定除去）がその固有原理。
- 高校は ℝ の中で計算し、大学は ℝ を公理から証明・抽象する。
- 上限はゲーデルの不完全性——導けること ⊊ 真であること。
より広い「定理ごとに必要な公理の強さを測る」枠組みは逆数学（reverse mathematics）と呼ばれる。本記事は、その最下層を高校数学という最も身近な題材で歩いたものといえる。
練習問題
問題1
有理数体 $\mathbb{Q}$ が満たす実数の公理と、満たさない実数の公理をそれぞれ挙げよ。$\mathbb{Q}$ で「成り立たなくなる」高校数学の事実を一つ示せ。
問題2
$\sqrt{2}$ が「存在する」ことを、完備性（上限性質）を使って示す方針を述べよ。集合 $S=\{x\in\mathbb{Q}: x>0,\ x^2 < 2\}$ を用いよ。
問題3
2円 $x^2+y^2=1$ と $(x-1)^2+y^2=1$ の交点を求め、その座標が $\mathbb{Q}^2$ に属さないことを確かめよ。この交点は $\mathbb{Q}$ と $\mathbb{R}$ の差を示す代表例としてよく挙げられるが、その存在に完備性そのものが必要だろうか。本文の「実閉体」の議論を踏まえて論じよ。
解答を見る
問題1の解答
$\mathbb{Q}$ は体の公理と順序の公理を満たす（四則と大小がそろう）。満たさないのは完備性。たとえば $S=\{x\in\mathbb{Q}:x^2 < 2\}$ は上に有界だが、$\mathbb{Q}$ の中に上限を持たない（上限は $\sqrt2\notin\mathbb{Q}$）。結果、$\mathbb{Q}$ では「$x^2=2$ の解が存在しない」「単調有界な数列が収束しないことがある」など、高校数学の事実が崩れる。
問題2の解答
$S=\{x\in\mathbb{Q}:x>0,\ x^2 < 2\}$ は空でなく（$1\in S$）、上に有界（$2$ が上界）。完備性より $\alpha=\sup S$ が実数として存在する。$\alpha^2 < 2$ なら $\alpha$ を少し増やしても $S$ に入り上限に矛盾、$\alpha^2 > 2$ なら少し減らした数が上界になり最小性に矛盾。よって $\alpha^2=2$、すなわち $\alpha=\sqrt2$ が存在する。完備性が存在を生んでいる。
問題3の解答
2式を引くと $-2x+1=0$ すなわち $x=\tfrac12$。代入して $y^2=\tfrac34$、$y=\pm\tfrac{\sqrt3}{2}$。交点は $\left(\tfrac12,\pm\tfrac{\sqrt3}{2}\right)$。$\sqrt3\notin\mathbb{Q}$ なので交点は $\mathbb{Q}^2$ に属さない（$\mathbb{Q}$ は平方根で閉じていないため、交わるべき交点がすり抜ける）。
ただし座標は $\sqrt3$ という代数的数であり、正の数が平方根を持つ体（ユークリッド体・実閉体）でありさえすれば交点は存在する。実際、実代数的数体 $\mathbb{R}\cap\overline{\mathbb{Q}}$ は完備でないが交点を含む。よってこの存在に本当に必要なのは平方根で閉じていることであって、完備性そのものではない。完備性を純粋に要するのは、上限・単調収束・ボルツァーノ＝ワイエルシュトラスのような極限がらみの存在のほうである。$\square$
よくある質問
高校数学は何個の公理から導けるか
高校数学のほぼ全体は「実数＝完備順序体」の15個の公理（体10＋順序4＋完備性1。体10は非退化 0≠1 を含む）から導ける。指数・対数・三角・複素数・微積分・数列・確率はすべて、この実数体の上で新しい公理を足さずに定義として構成できる。総合幾何を別建てにする場合は、それ自体が自己完結した別の公理系（ヒルベルトなら約20公理）になるが、これは15に足すものではなく、平面については実数体と等価な別の土台である。
完備性の公理は何のために必要か
完備性（上限性質）は、極限・上限・中間値の定理のような解析的な「存在」を保証する。なお $\sqrt2$ や2円の交点のような代数的な存在は実閉性（正の数が平方根を持つこと）でも足り、完備性そのものは要らないが、有理数から実数を構成する文脈では完備性が自然にこれを供給する。有理数体は完備性を欠くため極限が抜け落ち、交わるはずの2つの円もすれ違う。高校数学が極限や無理数を自由に使えるのは、この完備性1個のおかげである。
高校数学と大学数学はどう違うか
高校数学は与えられた実数体の中で計算する。大学数学は、その実数体を公理から建て直し（ε-δ論法で完備性から定理を証明し）、さらに公理を取り替えて群・環・位相空間など別の構造も調べる。計算から証明・抽象へ、暗黙の公理から明示の公理へ、という転換が両者の本質的な違いである。