>>542
成程な
論理そのものの整合性や真偽と
それが現実や、現在扱っている問題と等価であるかどうかとは
分けて考えないといけないわけだな。

>>515も>>240の公理系（笑）の中では偽の命題はどこにもないのだろうな。