対公理 対公理 外延公理により、このような集合 z はただ一つしかありません。この公理によって x , y が与えられたときにその存在が保証される集合を と書きます(対集合)。特に のことを と書き、x のシングルトン(singleton)と言います。定義より直ちに が…