空集合の公理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/27 01:06 UTC 版)
空集合の公理 (くうしゅうごうのこうり、英: axiom of empty set) は、ツェルメロ=フレンケル集合論やKP集合論の公理の一つで、「いかなる要素も含まない集合が存在する」ことを主張するものである。ただし、この公理を採用しないZF公理系の定式化も存在する[1]。
- ^ ケネス・キューネン『集合論 独立性証明への案内』藤田博司訳、日本評論社、2008年、ISBN 978-4-535-78382-9
- ^ Metamath Proof Explorer, Theorem axnul
- 1 空集合の公理とは
- 2 空集合の公理の概要
- 空集合の公理のページへのリンク