No label defined (Q4225023)
From MaRDI portal
scientific article; zbMATH DE number 1241476
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1241476 |
Statements
18 January 1999
0 references
formalism
0 references
realism
0 references
practice of set theory
0 references
axiomatic system
0 references
universe of sets
0 references
predicative construction
0 references
natural numbers
0 references
power-set
0 references
formal system
0 references
set operation rules
0 references
set predicate rules
0 references
objective construction
0 references
predicativity principle
0 references
local quantification
0 references
set induction
0 references
set recursion
0 references
internal consistency
0 references
intuitionistic logic
0 references
classical logic
0 references
role of set theory in the foundations of mathematics
0 references
