Definition:Mathematical Logic/Historical Note

Historical Note on Mathematical Logic
The discipline of mathematical logic was directly inspired by Hilbert's program, as an attempt to create a consistent and complete set of axioms that would render mathematics completely rigorous.

This did not go the way had planned, as Gödel's Incompleteness Theorems proved that there were always going to true statements in mathematics which could never be proved.