Single Idea 17777

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics]

Full Idea

An account of the foundations of mathematics must specify four things: the primitive concepts for use in definitions, the rules governing definitions, the ultimate premises of proofs, and rules allowing advance from premises to conclusions.

Gist of Idea

Foundations need concepts, definition rules, premises, and proof rules

Source

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

Book Reference

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