∀-除去 ∀-除去 とする．このとき なのだろうか？ (証明の方針) に対して，平行移動をすると であり，和をとれば と表される．いま ① ② ③ の3通りが考えられる．欲しい結果は②だが，①と③をどう考えればよいのだろうか．まだわからない．
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
