とする．このときが無理数であることを示せ． (設計) と置く．より成り立つ． (仕組) i.e. による．設計ではとあるが，このかたちをそのまま用いることはない．それが人工言語と自然言語との違いだと思われる．▢

とする．このとき が結果的に無仮定で成立する(述語論理の∀-導入適用可能)． (証明) 1 (1) 仮定 2 (2) 仮定 1,2 (3) 1,2. →-除去 1 (4) 1-3. →-導入 1 (5) 1,3. ￢-除去 (6) 1-5. ￢-導入 (7) 7. DN規則