外什么公什么的四字词语

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