基礎論なぜなにスレッド その{φ,{φ},{φ,{φ}}}
707 :
132人目の素数さん:
「証明できたことを証明する」ことをしなければ、証明できたことにはならないと思います。
なぜなら、証明できた と主張しても、ほんとにできたかどうかわからないのであり、
証明できたことを証明しなければ、証明できたことにならないからです。
しかしながら、証明できたことを証明したとしても、「証明できたことを証明した」ことを
証明しなければならなくなります。
このようにして、結局、「証明できたことを証明する」のは不可能です。
以上より、もともと証明するということ自体が不可能なのではないでしょうか?
なぜなら、証明することが可能なら、証明したことを証明できるのであり、
上の結論と矛盾します
なんか詭弁のようで、自分でも意味不明になってくるのですが、
ご指導お願いします