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

[0267 １３２人目の素数さん 2017/12/28(木) 19:59:33.89 ID:Gj2H71EO]

つまり、P(x)ならばQ(x)、は円Pと円Qの関係性だけを定めていて、αがPの中に入っていようがいまいが、常に成り立つ、というわけです