display all the ideas for this combination of texts
2 ideas
10712 | If set theory didn't found mathematics, it is still needed to count infinite sets [Potter] |
Full Idea: Even if set theory's role as a foundation for mathematics turned out to be wholly illusory, it would earn its keep through the calculus it provides for counting infinite sets. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 03.8) |
17882 | It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter] |
Full Idea: It is a remarkable fact that all the arithmetical properties of the natural numbers can be derived from such a small number of assumptions (as the Peano Axioms). | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 05.2) | |
A reaction: If one were to defend essentialism about arithmetic, this would be grist to their mill. I'm just saying. |