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

[0860 １３２人目の素数さん 2018/06/13(水) 06:21:58.97 ID:6lHNFUqP]

P→Qを∀x.P(x)→Q(x)としか思えないヤツは頭が悪い