とする．このとき，次の論理式は文論理及び述語論理をみたすように成立する． (証明) 1 (1) 仮定 2 (2) 仮定 1 (3) 1. ∧-除去 1 (4) 1. ∧-除去 1 (5) 3,4. ∧-導入 1 (6) 2-5. →-導入 1 (7) 5,6. →-除去 (8) 5-7. →-導入

とする．このとき i.e. と置くとが成立する． (理由) ここで考えることは，が-準同型写像に成るのか，ということである． (ア) について よりは(ア)をみたす(が-準同型であるから)． (イ) について は-加群であるので次のように変形できる よりは(イ)をみた…

とする． 前回，が-準同型写像であることを確かめた．これはについて，-準同型写像の加法を定めたことに成る．いま，-準同型写像の集合 を考えると，演算に対して，これは加法群を成す． (証明) Ⅰ. 結合律 を選ぶ(パラメタの自在性)すなわち と置く．このと…