まとめるとこうなる↓

> ちなみにp ∨ ¬ｐをp ∧ ¬ｐにすれば、矛盾命題になるよね。だって、
> 「(P)世界に証明できる事は無く、かつ(∧=and)、(¬P)世界に証明できる事は有る」、なんていう
> 複合命題や言明が矛盾して変なのは、すぐに判るから。

> 384 ：第三の波平 ◆JXLBbnYqTY ：2013/02/13(水) 21:41:06.46 0
> 思考が全部、中二病なんだよ
> 証明しろ、なって行っちゃダメ。
> なぜならこの世界に証明できることなんて一つもないから

　　　　　　　　　　　　↓　２０分後

> 391 ：第三の波平 ◆JXLBbnYqTY ：2013/02/13(水) 22:01:29.49 0
> いまどき中二病的「この世界に証明できることなんて一つもない」じゃあ
> しょうがないだろう
> それじゃ、１０年前の２ちゃんねるだよ