Single Idea 17794

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory]

Full Idea

The idea that set theory must simply be identified with first-order Zermelo-Fraenkel is surprisingly widespread. ...The first-order axiomatic theory of sets is clearly inadequate as a foundation of mathematics.

Gist of Idea

Set theory is not just first-order ZF, because that is inadequate for mathematics


John Mayberry (What Required for Foundation for Maths? [1994], p.412-2)

Book Reference

'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.412

A Reaction

[He is agreeing with a quotation from Skolem].