「この方程式には解が存在する」と「この部屋には机が存在する」は、同じ「存在する」を使っている。前者は定義や公理の下での数学的な主張であり、後者は現実世界についての主張である。この違いを区別すると、数学と世界の関係を考えやすくなる。
何の範囲で存在を問うのか
x²＝2には整数の解がないが、実数の範囲では解がある。x²＝−1には実数の解がないが、複素数の範囲では解がある。「存在するか」を問うには、どの対象を許しているのかを先に決める必要がある。
数学の存在証明は、対象を机の上に置くことではない。ある条件を満たすものが、定めた体系や構造の中で得られると示すことである。具体的な作り方を与える証明もあれば、存在しないという仮定から矛盾を導く証明もある。
数は人がいなくても存在するか
数学的プラトニズムは、数などの数学的対象が、人間の言語や思考から独立した抽象的対象として存在するという立場である。この見方では、数学者は自分の都合で真理を決めるのではなく、すでに成り立つ関係を発見する。
一方、数学的対象への存在の約束を避けようとする唯名論や、記号と規則の働きを重視する形式主義にも、さまざまな立場がある。定理の証明に同意する人同士でも、その証明が最終的に何について語っているのかという哲学的理解は一致するとは限らない。
模型が使えることと、物があること
物理学では数学的な模型から観測の予測を導く。模型の方程式に解があることは、その解に対応する現象が実際に存在するための十分な証拠にはならない。現実の条件を満たすか、観測と一致するかを調べる段階が必要である。
逆に、紙に描いた円が完全な円でなくても、円の数学は測定や設計に使える。理想化した対象を使うことと、その理想を現実の物体が厳密に実現することは別である。数学上の存在、数学的対象についての哲学、物理的な実在を分けて考えると、「ある」という一語に押し込められた複数の問いが見えてくる。
どの証明方法を認めるかも数学の基礎に関わる論点である。古典数学と構成的な立場では、存在証明に求める内容が異なる場合がある。
参考資料
- Stanford Encyclopedia of Philosophy：Platonism in the Philosophy of Mathematics
- Stanford Encyclopedia of Philosophy：Nominalism in the Philosophy of Mathematics
- Stanford Encyclopedia of Philosophy：Formalism in the Philosophy of Mathematics
参考資料確認日：2026年10月14日。