Also known as NF, New Foundations with urelements, NFU, Quine's New Foundations
axiomatic set theory permitting set comprehension by stratified formulae, hence with a universal set, but in which the singleton map 𝑥↦{𝑥} fails to exist
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).