外延公理、无限公理。1、外延公理：两个集合具有相同的元素，则这两个集合相等。2、无限公理：存在一个集合，包含0，并且对于每个元素x，它还包含x的后继元素。