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

[0065 １３２人目の素数さん 2017/12/06(水) 07:49:22.17 ID:iPQYDDT1]

|=ｆ(P,Q)⊃g(P,Q) だからと言って、ｆ(P,Q)|=g(P,Q) とは限らないってことさ。