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

[0184 １３２人目の素数さん 2017/12/26(火) 08:03:54.85 ID:hGDQj0n9]

>>182
命題変数の全称量記号を用いない定式化については>>179に書きました

そのような命題変数を考える二階の論理は、通常の一階の述語論理から見ればメタな記述となります