Türkçe: genişleme aksiyomu
Açıklama: Genişleme aksiyomu; iki kümenin eşit olması için aynı elemanlara sahip olması gerektiğini belirten aksiyom