18/01/03 18:26:57.70 TEA5ats5.net
>>465
＞数学において究極の正しいと認められている事柄（公理）は
＞モノに関しては集合論（ZF,ZFC,BG)
＞演繹に関しては古典論理（LK,NK)
＞じゃないかしら
Ｐ⊃Ｑ）ｖ（Ｑ⊃Ｐ）などと言った「奇怪な“定理”」をもつ古典論理が正しいわけがない。ｗ
18/01/03 18:26:57.70 TEA5ats5.net
>>465
＞数学において究極の正しいと認められている事柄（公理）は
＞モノに関しては集合論（ZF,ZFC,BG)
＞演繹に関しては古典論理（LK,NK)
＞じゃないかしら
Ｐ⊃Ｑ）ｖ（Ｑ⊃Ｐ）などと言った「奇怪な“定理”」をもつ古典論理が正しいわけがない。ｗ