Ideas from 'The Foundations of Mathematics' by David Hilbert [1927], by Theme Structure

[found in 'From Frege to Gödel 1879-1931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0-674-32449-8]].

Click on the Idea Number for the full details    |     back to texts     |     expand this idea


5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
You would cripple mathematics if you denied Excluded Middle