Ideas from 'Axiomatic Thought' by David Hilbert [1918], by Theme Structure
[found in 'From Kant to Hilbert: sourcebook Vol. 2' (ed/tr Ewald,William) [OUP 1996,0198505361]].
green numbers give full details 
back to texts

expand these ideas
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
17963

The facts of geometry, arithmetic or statics order themselves into theories

17966

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

6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
17967

To decide some questions, we must study the essence of mathematical proof itself

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
17965

The whole of Euclidean geometry derives from a basic equation and transformations

6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
17964

Number theory just needs calculation laws and rules for integers

26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
17968

By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge
