以前、当ブログで Zermelo-Fraenkel 公理系を紹介しました。そのうちの一つ、置換公理図式から導かれた分出公理図式を再掲します。 (VII)' 分出公理図式 この公理によって定まる集合を と書くことができます。ところで、この公理で の条件を外した は公理と…