外延性の公理(がいえんせいのこうり、axiomofextensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものである.
axiomofextensionality