2023-07-25 包含関係 2 福田拓生『集合への入門(無限をかいま見る)』培風館 2018 問題1.4 9項 と置く.このときが成立する. (証明) (∀-除去) (∀-除去) を示す. 1 (1) 仮定 i.e. 1 (2) 1. (3) 1-2.→-導入 (4) 3.∀-導入 それゆえ i.e. を得る.▢ 逆の包含関係 たとえば i.e. である.