問 140個のどら焼きを太郎と次郎で分ける．太郎のどら焼きが次郎のどら焼きの3倍になるように分けたい．このとき次郎のどら焼きはいくつだろうか？ (解答) に対して次郎の量をと置く． 仮定 いま ∀-除去 とすれば i.e. ⇒-導入 より i.e. を得る．この論証に…