Ideas from 'The Foundations of Mathematics' by David Hilbert [1927], by Theme Structure
[found in 'From Frege to Gödel 18791931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0674324498]].
green numbers give full details 
back to texts

expand this idea
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
18844

You would cripple mathematics if you denied Excluded Middle
