スワンプ マン は 誰 だ. 部分 と 全体.

公理 的 集合 論. 量化 記号.