定領域公理にかんする古典述語論理の自然演繹の導出図

検証を手伝ってくれた論計舎講師の森山さんに感謝を申し上げます。