0475132人目の素数さん垢版2018/01/03(水) 18:26:57.70ID:TEA5ats5 >>464 >数学において究極の正しいと認められている事柄(公理)は >モノに関しては集合論(ZF,ZFC,BG) >演繹に関しては古典論理(LK,NK) >じゃないかしら P⊃Q)v(Q⊃P)などと言った「奇怪な“定理”」をもつ古典論理が正しいわけがない。w