在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理是 Zermelo-Fraenkel 集合论的公理之一。
形式陈述.在 Zermelo-Fraenkel 公理的形式语言中，它读做:换句话说:（这里的formula_6是集合不是本质性的，但在ZF中所有东西都是集合。参见下面的带有基本元素的集合论章节）。
解释.要理解这个公理，注意上述符号陈述中圆括号内的子句简单的声称了 "A" 和 "B" 有完全相同的成员。所以，这个公理实