The Brouwer–Hilbert controversy (German: Grundlagenstreit, lit. 'foundational debate') was a debate in twentieth-century mathematics over fundamental questions about the consistency of axioms and the role of semantics and syntax in mathematics. L. E. J. Brouwer, a proponent of…