文献のp.197のA.2.7の命題の証明の準備 （中略） これに関するメモを記す． 文献 齋藤正彦. “付録 公理的集合論”. 数学の基礎: 集合・数・位相. 東京大学出版会, 2002, p.195-197, (基礎数学, 14). 外延性公理：で ，とすると， さらに，とすると， は明らか…