|
空集合の公理 (くうしゅうごうのこうり、) は、ZF集合論やKP集合論の公理の一つで、「''いかなる集合も含まない集合が存在する''」ことを主張するものである。ただし、この公理を採用しないZF公理系の定式化も存在する〔 ケネス・キューネン『集合論 独立性証明への案内』藤田博司訳、日本評論社、2008年、ISBN 978-4-535-78382-9〕。 == 定義 == 「ある集合 x が存在して、任意の y に対し、y は x の要素でない。」 すなわち、 : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「空集合の公理」の詳細全文を読む スポンサード リンク
|