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

[0366 １３２人目の素数さん 2017/12/30(土) 21:34:33.10 ID:ml8VlZs6]

>>361
＞P→Qが真であることの定義はU⊃Q⊃Pだったんだよね？

P(x) の論議世界とQ(x) の論議世界とが一致する必要はない。