外延公理がいえんこうり<がい'えん>･こう'り5

Extensionalitätsaxiom