部分 と 全体. 公理 的 集合 論. 量化 記号. スワンプ マン は 誰 だ.