more from David Hilbert

Single Idea 17966

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

Full Idea

If a theory is to serve its purpose of orienting and ordering, it must first give us an overview of the independence and dependence of its propositions, and second give a guarantee of the consistency of all of the propositions.

Gist of Idea

Axioms must reveal their dependence (or not), and must be consistent

Source

David Hilbert (Axiomatic Thought [1918], [09])

Book Reference

'From Kant to Hilbert: sourcebook Vol. 2', ed/tr. Ewald,William [OUP 1996], p.1109


A Reaction

Gödel's Second theorem showed that the theory can never prove its own consistency, which made the second Hilbert requirement more difficult. It is generally assumed that each of the axioms must be independent of the others.