Expressing infinity without foundation (Q3984401)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Expressing infinity without foundation |
scientific article |
Statements
Expressing infinity without foundation (English)
0 references
27 June 1992
0 references
axiom of infinity
0 references
restricted universal quantifiers
0 references
axiom of foundation
0 references