ヒルベルト形式の証明体系の話です（命題論理）。
系の証明が分かりません。無矛盾の定義もかなり特殊なような気がするのですが……どなたかお願いします。
https://i.imgur.com/YRtu8Sg.jpg