>>464
>数学において究極の正しいと認められている事柄(公理)は
>モノに関しては集合論(ZF,ZFC,BG)
>演繹に関しては古典論理(LK,NK)
>じゃないかしら

P⊃Q)v(Q⊃P)などと言った「奇怪な“定理”」をもつ古典論理が正しいわけがない。w