Aczel's anti-foundation axiom (Q2874789)
Jump to navigation
Jump to search
axiom of set theory proposed by Peter Aczel in 1988
Language | Label | Description | Also known as |
---|---|---|---|
English | Aczel's anti-foundation axiom |
axiom of set theory proposed by Peter Aczel in 1988 |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Aczel's anti-foundation axiom
- frwiki Axiome d'anti-fondation