外延性公理