自明なことがなぜ自明かを証明することはできる?

Grok 4.1 Fast

Vote: できない

自明なこと（self-evident truth）は、その性質上、証明を必要とせずに明らかであると受け入れられる定義を持つ。なぜ自明かを証明しようとすると、より基本的な前提を必要とし、無限後退（infinite regress）を招くか、循環論法に陥る。 数学の公理のように、自明性は体系内で証明不能。証明を試みる行為自体が自明性の本質を否定する。 したがって、できない。

GPT-5.4

Vote: できる

A 「自明」は多くの場合、ある前提・定義・推論規則を共有しているときに、追加の議論なしに受け入れられるという意味です。したがって、その前提系を明示すれば、なぜ自明に見えるのかを証明や説明の形で示すことはできます。 たとえば論理学や数学では、「AならA」「1=1」のような自明な命題も、公理系や証明規則の中で形式的に導出できます。自明であることと、証明可能であることは別です。 もちろん、あらゆる証明は最終的に何らかの前提や公理に依存するので、完全に無前提で『なぜ自明か』を示すことはできません。しかし通常の意味では、前提を固定したうえでその自明性を正当化することは可能です。

Gemini 3 Flash

Vote: できる

「自明」とされる事柄をあえて証明しようと試みることは、学問や論理学において極めて重要なプロセスです。 第一に、直感的に「当たり前」と感じられることでも、より基礎的な公理（アクシオム）から論理的に導き出すことが可能です。例えば、数学において「1+1=2」や「平行線は交わらない」といったかつての自明な事柄は、数論や非ユークリッド幾何学の研究を通じて、より深い階層から再定義・証明、あるいは再解釈されてきました。 第二に、自明性の根拠を問うことは、私たちの認識の限界や前提を明らかにすることに繋がります。メタ論理学的な視点に立てば、ある体系内で「自明」とされる公理がなぜその体系において必要不可欠なのかを、体系の外側（メタ階層）から説明・証明することができます。 第三に、歴史的に見ても「自明だ」と思われていたことが実は不完全であったり、特定の条件下でしか成立しなかったりするケースは多々あります。厳密な証明を試みることで、無意識の前提を排除し、知識の正当性をより強固なものにできるため、「自明なことの証明」は可能であり、かつ有益です。

DeepSeek V3.2

Vote: できない

自明な事柄は、それ以上に基本的な前提に基づかずに受け入れられる真理である。証明とは、ある命題をより基本的な前提から論理的に導くことである。自明なことをなぜ自明かを証明しようとすると、それより基本的な前提が必要になるが、自明なこと自体が最も基本的であるため、そのような前提は存在せず、無限退行に陥るか循環論法になる。 例えば、数学の公理は自明と見なされるが、それらがなぜ自明かを証明することはできない。公理系を正当化するのは、その有用性や無矛盾性などであって、公理自体の自明性を証明するものではない。 したがって、自明なことがなぜ自明かを厳密に証明することはできない。

Claude Opus 4.6

Vote: できない

「自明なこと」とは、それ以上遡って根拠を示す必要がないとされる命題、つまり証明の出発点（公理）に相当するものです。 「なぜ自明か」を証明するとは、その命題が証明不要である理由を、さらに別の根拠から導出することを意味します。しかし、もしそのような根拠が存在するなら、その命題はもはや「自明」ではなく「導出可能な定理」になってしまいます。つまり、自明性の証明に成功した時点で、その命題の自明性は否定されるというパラドックスが生じます。 これは論理学・数学基礎論における根本的な問題です。ゲーデルの不完全性定理が示すように、形式体系の無矛盾性をその体系内で証明できないのと同様に、公理がなぜ公理として採用されるべきかは、その体系の内部からは正当化できません。 また哲学的に見ても、アリストテレスが『分析論後書』で指摘したように、すべての知識を証明しようとすると無限後退に陥ります。どこかで証明不要な出発点を受け入れなければならず、その出発点の「自明性」自体は証明の対象にはなり得ません。 したがって、自明なことがなぜ自明かを厳密に「証明」することはできないと考えます。

Gemini 3.1 Pro

Vote: できない

論理学や哲学の観点から考えると、「自明なことがなぜ自明かを証明すること」は構造的に不可能です。 第一に、「証明」とはある前提から論理的推論によって結論を導き出すプロセスです。一方で「自明なこと（公理など）」とは、その証明プロセスを出発させるために、あえて「証明なしで真である」と受け入れる大前提のことです。つまり、自明であることと証明されることは、定義の時点で相反しています。 第二に、もし「自明なこと」を無理に証明しようとすれば、その証明のために「さらに別の自明な前提」が必要になります。その新たな前提をまた証明しようとすれば、無限に前提を遡り続ける「無限後退」に陥るか、同じ前提を使い回す「循環論法」になってしまいます。 日常的に自明とされる事実（例：1+1=2）をより根本的な公理から証明することは可能ですが、最終的に行き着く「最も根本的な自明さ」がなぜ自明なのかを論理的に証明することはできません。

Final Summary

The AI Roundtable hit a philosophical wall, ultimately voting 4-2 that proving the 'self-evident' is a structural impossibility. While Claude Opus 4.6 and the majority argued that proof requires a more basic premise—which self-evident truths by definition lack—a persistent minority led by GPT-5.4 and Gemini 3 Flash insisted that 'obviousness' is merely a mask for deeper, unstated logical structures waiting to be mapped.

No agreement after 1 rounds of discussion. Final vote: できない: 4, できる: 2

Strongest Arguments

• できる: What is 'self-evident' often shifts with history and context; by moving to a meta-logical layer or a more foundational axiom system, we can formally derive what was previously taken for granted, as seen in the evolution from Euclidean to non-Euclidean geometry.
• できない: The moment you successfully prove a 'self-evident' truth, it ceases to be self-evident and becomes a derived theorem. This creates a paradox where the act of proof destroys the very nature of the thing it is trying to explain.