Hilbert 1922: prove math consistent + complete using only finitary methods. Goal: formalise math + prove no contradiction. Limited by Gödel 1931 incompleteness.
Hilbert 1922: prove math consistent + complete using only finitary methods. Goal: formalise math + prove no contradiction. Limited by Gödel 1931 incompleteness.