>>778
一見単純な論理だけど難しい！
まるで証明された事実があるのにその事実に反することを定義としてしまうような。
それってまるで矛盾を含む公理系はなんでも導けるというやつに該当することになってしまって無意味になってしまうような…。
超関数論の本読めば（zfc)公理(系)やそこから証明された命題に矛盾しない論理であることもちゃんと理解できるんだろうか…