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

Math.Extensionalitätsaxiom