No label defined (Q3866098)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1980
0 references
strong axioms of induction in set theory and arithmetic
0 references
Ramsey cardinal
0 references
extension of Peano arithmetic
0 references
ZFC
0 references
axiom of infinity
0 references
completeness
0 references
independence
0 references
relative consistency
0 references
