外延公理，也稱為策略洛第一公理，是集合論中的一條基本公理。其表述如下：
對於任意的集合A和B，如果對於任意的元素x，x屬於A若且唯若x屬於B，則A等於B。
這條公理的核心是「集合由其元素完全決定」，意味著兩個集合如果含有相同的元素，則這兩個集合是相等的。外延公理在集合論中起到了一個基本的作用，它幫助定義了集合的相等性，即兩個集合的相等是由它們所包含的元素決定的，而不是通過其他方式，如集合中元素的關係或結構。
此外，外延公理可以在沒有等號的謂詞邏輯中套用，也可以通過與形式概括一起使用來定義唯一的集合，其成員完全滿足特定的謂詞。外延公理是集合論中的一個基本概念，它確保了集合論中的邏輯和數學推理的嚴謹性。