back to ideas for this text

---

Single Idea 17791

[from 'What Required for Foundation for Maths?' by John Mayberry, in 5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic ]

Full Idea

Second-order logic is a powerful tool of definition: by means of it alone we can capture mathematical structure up to isomorphism using simple axiom systems.

Gist of Idea

Only second-order logic can capture mathematical structure up to isomorphism

Source

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

Book Reference

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

---