David Hilbert had famously suggested to find a finite set of axioms to serve as a foundation for all of mathematics.
The original version of Hilbert’s program was overthrown by Gödel's incompleteness theorem. But suitable variants of it persist, see at proof theory
Last revised on January 3, 2025 at 02:29:52. See the history of this page for a list of all contributions to it.