外延性公理

ウィキペディア

外延性の公理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/10/26 05:39 UTC 版)

外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものである。