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

[0360 １３２人目の素数さん 2017/12/30(土) 21:19:43.65 ID:ZK0cQawX]

>>358
>一方、[豚＞4] はナンセンスであり、P(豚) は意味を持たない。
ただ定義域が拡張されているだけであってP(豚)にも意味はあります