Single Idea 17605

[catalogued under 5. Theory of Logic / K. Features of Logics / 1. Axiomatisation]

Full Idea

At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers.

Gist of Idea

Hilbert's geometry and Dedekind's real numbers were role models for axiomatization

Source

Penelope Maddy (Defending the Axioms [2011], 1.3)

Book Reference

Maddy,Penelope: 'Defending the Axioms' [OUP 2013], p.31