外延公理   wài yán gōng lǐ 在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理。

外 延 公 理