Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory (Q5856200)
From MaRDI portal
scientific article; zbMATH DE number 7327362
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory |
scientific article; zbMATH DE number 7327362 |
Statements
Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory (English)
0 references
25 March 2021
0 references
methodological frame
0 references
structural axiomatics
0 references
existential axiomatics
0 references
accessible domain
0 references
inductively defined class
0 references
natural formalization
0 references
representation
0 references
projection
0 references
structure
0 references
