完全性定理の証明に出てくるTheoremを一覧する
形式的証明可能性と矛盾の関係の補題
意味論的帰結と充足不能性の関係の補題
極大無矛盾なヘンキン性
など構成するときなどに使う補題
極大無矛盾集合#5e359780198270000045138d
を使って証明
https://gyazo.com/6c6ad21905ea4b8fa4abcd3218f2420c
『学んでみよう！記号論理』.icon
pp.170-171に証明法が書いてる