>>708
>爺さんはP⇒Qの証明にPの証明が要ると思ってるの？

・Pの証明が要るよね
　例えば、ある人が
　フェルマー最終定理の初等証明で
　P⇒Qの証明 を書いた
　Q：フェルマー最終定理成立 とする
・”⇒”のロジックは初等的で、正しいとして
　では、「Q」はどうよ？
・手前勝手な、「Q」作ってもｗｗ
　それは、正統な ”フェルマー最終定理の初等証明”とは ならないぞ！！　ｗｗｗ ；ｐ）