外延性の公理がいえんせいのこうり<がい'えん'せい>　の　こう'り

Math.Extensionalitätsaxiom