Combining Texts
Ideas for
'Croce and Collingwood', 'The Tarskian Turn' and 'Lectures on the Philosophy of (World) History'
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]
|