0049132人目の素数さん垢版 | 大砲2013/11/30(土) 09:16:31.95 公理を疑うというのはナンセンス。 数学は公理を定めてどんどん演繹してくことにより、なにが導かれるかを明確に示してくれる。 それが目的にあわないなら別の公理を用いればよい。 それがいい加減な思考ではなくて論理的に演繹により示されるのに、なにが不満なんだか。 選択公理のない集合論、無限公理のない集合論、基礎の公理のない集合論(や、これらの否定を公理に持つ集合論)などなど、研究されていて面白い結果も導かれている。