在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理是 Zermelo-Fraenkel 集合论的公理之一。

在 Zermelo-Fraenkel 公理的形式语言中，它读做:

换句话说:

给定任何集合 A 和任何集合 B，A 等于 B，当且仅当给定任何集合 x, x 是 A 的一个成员当且仅当 x 是 B 的一个成员。

（这里的 x 是集合不是本质性的，但在 ZF 中所有东西都是集合。参见下面的带有基本元素的集合论章节）。

In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of extensionality, or axiom of extension, is one of the axioms of Zermelo–Fraenkel set theory.