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

[0354 １３２人目の素数さん 2017/12/30(土) 20:21:36.72 ID:t8/AOqf4]

>>352
どんなことですか？

述語R(x)を次のように定義します
R(x)=P(x)→Q(x)

R(x)の議論世界は定義可能ですか？