Combining Texts
Ideas for
'fragments/reports', 'The Tarskian Turn' and 'On the General Idea of Proof Theory'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
15360
|
ZFC showed that the concept of set is mathematical, not logical, because of its existence claims [Horsten]
|
15369
|
Set theory is substantial over first-order arithmetic, because it enables new proofs [Horsten]
|