主張 (証明の方針) とする．このときの逆元とは をいう．但し (唯一つ) である．いま を示したい．そのために を示す． 1 (1) 前提 1 (2) 1. ∀-除去 3 (3) 仮定 4 (4) 仮定 3,4 (5) 3,4. →-除去 3,4 (6) 5. ∧-除去 3,4 (7) 5. ∧-除去 ここで，の自由変項を用…