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