空集合の公理
↑ ケネス・キューネン『集合論 独立性証明への案内』藤田博司訳、日本評論社、2008年、ISBN 978-4-535-78382-9
↑ Metamath Proof Explorer, Theorem axnul