数理論理学（数学基礎論） その12

[0098 １３２人目の素数さん 2017/12/17(日) 00:47:23.70 ID:Cjx7+SdG]

>>90
[　(ＰならばＱである)か、又は(ＰならばRである)　] は偽であって、「現実と矛盾している」。

＞全ての現実に当てはまる公理が存在するとでも？

ある命題が真ならば、その否定は偽である、は恒久的な真である公理の一つ。