外延公理

外延公理係集合論裡面嘅一條基本公理，佢嘅意思係，如果兩個集合有完全相同嘅元素，呢兩個集合就相等。

外延公理嘅意義在於俾出咗兩個集合相等嘅含義。

內涵公理

集合論