Combining Texts
Ideas for
'Why coherence is not enough', 'On the Philosophy of Logic' and 'The Tarskian Turn'
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]
|