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

591 ：１３２人目の素数さん：2021/07/26(月) 10:17:45.84 ID:+i1tNIIC.net

>>558
意味論的に一階述語論理は完全で
二階以上の高階述語論理は不完全で、
その理由は二階論理では単体でペアノ算術が
解釈できる事なので、一応内容的には正しい。
その旨の言及もあるので解答者がちゃんと理解している
可能性も結構ある。

ただこれ読んだ初学者は結構な確率で誤解しそうなので
その辺はアレではある。