Hilbert sought to build mathematics up as a logically flawless structure that would be complete, in that every true statement S could be derived from a finite set of axioms, and also consistent ...