No label defined (Q4827116)
From MaRDI portal
scientific article; zbMATH DE number 2115803
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2115803 |
Statements
16 November 2004
0 references
axiomatization
0 references
equiconsistency
0 references
generalized positive formulas
0 references
extensionality
0 references
comprehension
0 references
closure
0 references
interpretation of ZF
0 references
interpretation of KM
0 references
proper class
0 references
antifoundation
0 references