New Foundations

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