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