more from this thinker     |     more from this text

Single Idea 17880

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics ]

Full Idea

The initial foundations should be immediately clear, natural and not open to question. This is satisfied by the notion of integer and by inductive inference, by it is not satisfied by the axioms of Zermelo, or anything else of that kind.

Gist of Idea

Integers and induction are clear as foundations, but set-theory axioms certainly aren't

Source

Thoralf Skolem (Remarks on axiomatised set theory [1922], p.299)

Book Ref

'From Frege to Gödel 1879-1931', ed/tr. Heijenoort,Jean van [Harvard 1967], p.299

A Reaction

This is a plea (endorsed by Almog) that the integers themselves should be taken as primitive and foundational. I would say that the idea of successor is more primitive than the integers.

The 15 ideas with the same theme [existence of fundamentals as a basis for mathematics]:

18271 We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege]
21224 Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol]
17880 Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem]
17810 The study of mathematical foundations needs new non-mathematical concepts [Kreisel]
9937 I do not believe mathematics either has or needs 'foundations' [Putnam]
12688 Mathematics is the formal study of the categorical dimensions of things [Ellis]
17776 The ultimate principles and concepts of mathematics are presumed, or grasped directly [Mayberry]
17775 If proof and definition are central, then mathematics needs and possesses foundations [Mayberry]
17777 Foundations need concepts, definition rules, premises, and proof rules [Mayberry]
17804 Axiom theories can't give foundations for mathematics - that's using axioms to explain axioms [Mayberry]
10236 There is no grounding for mathematics that is more secure than mathematics [Shapiro]
8764 Categories are the best foundation for mathematics [Shapiro]
8676 Is mathematics based on sets, types, categories, models or topology? [Friend]
17922 Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan]
18846 Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt]