New Foundations (Q649337)
Jump to navigation
Jump to search
axiomatic set theory permitting set comprehension by stratified formulae, hence with a universal set, but in which the singleton map 𝑥↦{𝑥} fails to exist
- NF
- New Foundations with urelements
- NFU
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 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 |
|
Statements
Identifiers
Sitelinks
Wikipedia(10 entries)
- dewiki New Foundations
- enwiki New Foundations
- eswiki Nuevos Fundamentos
- frwiki New Foundations
- huwiki New Foundations
- itwiki Nuova fondazione
- jawiki 新基礎集合論
- kowiki 새 기초
- nlwiki New Foundations
- zhwiki 新基础集合论