The Ways of Hilbert’s Axiomatics: Structural and Formal (Q5856192)
From MaRDI portal
scientific article; zbMATH DE number 7327354
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Ways of Hilbert’s Axiomatics: Structural and Formal |
scientific article; zbMATH DE number 7327354 |
Statements
The Ways of Hilbert’s Axiomatics: Structural and Formal (English)
0 references
25 March 2021
0 references
logical semantics
0 references
mathematical structuralism
0 references
finitism
0 references
consistency
0 references
structural definition
0 references
inductive definition
0 references
intuitionism
0 references
complete field
0 references
