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

[0057 １３２人目の素数さん 2017/12/05(火) 04:03:19.61 ID:PFXdnjCK]

z>>5
F(P,Q) ⊃ g ( p, p) が tautology だからって、「F(P,Q) ならば g ( p, p) 」が
必ずしも成立するわけではないってことさ。