axiom:empty-set-nbg-2026a
There is a set with no elements.
There is a set xxx such that no set uuu satisfies u∈xu\in xu∈x.
Loading…
Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.
No relations recorded yet.
Log in to comment.