Combining Texts
Ideas for
'works', 'Foundations without Foundationalism' and 'Anti-essentialism'
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 / 4. Axioms for Number / d. Peano arithmetic
13657
|
First-order arithmetic can't even represent basic number theory [Shapiro]
|
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
13656
|
Some sets of natural numbers are definable in set-theory but not in arithmetic [Shapiro]
|