外延性公理
【がいえんせいこうり】
【gaienseikouri】
外延性公理