Hilbert's program, proposed by David Hilbert in the early 20th century, aimed to establish a solid foundation for all of mathematics by proving that mathematical theories are both consistent and complete using finitistic methods. However, Kurt Gödel's incompleteness theorems later showed that such a program is unattainable for any sufficiently powerful axiomatic system, as it cannot prove its own consistency nor be complete.