外延公理的反义词