No label defined (Q4332919)
From MaRDI portal
scientific article; zbMATH DE number 978993
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 978993 |
Statements
18 February 1997
0 references
set theory
0 references
recursion theory
0 references
completeness theorem
0 references
Skolem's paradox
0 references
quantification theory
0 references
limitative results
0 references
axiomatic set theory
0 references
Zermelo-Fraenkel
0 references
classical logic
0 references
Gödel's incompleteness theorems
0 references
