Copyright (c) メンズアイテム All Rights Reserved.

ホームページ紹介FC2

ホームページ紹介FC2



ホームページ紹介FC2ホームページ紹介FC2



ホームページ紹介FC2ブログになります。







用語

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



空集合の公理 (くうしゅうごうのこうり、英: axiom of empty set) は、ZF集合論やKP集合論の公理の一つで、いかなる集合も含まない集合が存在することを主張するものである。ただし、この公理を採用しないZF公理系の定式化も存在する。