外延性公理

えんせい・こgaiensei·kōri7

N.
Math. Extensionalitätsaxiom n n.