ｸｲｽﾞ大陸

　やはり分かりにくかったですかね 説明しておきます。
　↓
　「命題Ａを偽とすると、命題Ａ（命題Ａは証明不可能である）が証明可能である」という事は命題Ａは証明不可能であることが証明されたことになります。
　つまり命題Ａは証明不可能ということになります。
　しかしこれだと命題Ａを偽としているのにもかかわらず、命題Ａは証明不可能（つまり真）となっているので矛盾するのです。
　↑
　どうでしょうか？
　ロックはエンゼルさんの返信を受けてからにします