問題 省略 (解答の方針) とする．このとき重力は ☆ で表される．いま ∀-除去，仮定 という操作をすると，条件から という値を考えられる．これよりについて一次方程式を解く． i.e. である．したがって を得る．与えられた存在判断は変形(消去)されているの…

とする．このとき結合律 が成立する． (証明の方針) を選ぶ(∀-除去)．このとき について両辺が一致することを示す． ① について に対して次のような平行移動 をし和をとる．すなわち である．そして に対して再び平行移動 を考えると和の定義より と表示でき…

とする．このとき ① ② を考える．しかし，このままでは合成できない．①では存在量化されているのに，②で全称量化されているからだ．そこで一旦，パラメタで考えてみる． 1 (1) 前提 1 (2) 1. ∀-除去 3 (3) 仮定 4 (4) 前提 4 (5) 4. ∀-除去 6 (6) 仮定 この…