とする．このとき次を示せ． (1) の元の位数 < とするときに対して が成立する． (記号の量化) 量化できるもの ① について より () からは全称，は特称である，とわかる．これより 例 とは何か？ 集合 を考える．このとき，たとえばである，とする．すなわち…

とする．このときは整域である． (証明の方針) を示す． 1 (1) 前提 1 (2) 1. ∀-導入 3 (3) 仮定 反射的閉包で成り立つことは，非反射的閉包でも成立するのでの両辺にを右から掛けると () i.e. を得るので，この仮定は妥当である． 1 (4) 2-3. ⇒-導入 1 (5) …