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

[0863 １３２人目の素数さん 2018/06/13(水) 07:44:59.88 ID:kwwukDpV]

P→Qを∀x.P(x)→Q(x)と考える香具師は、一歩進んでいる。