Gödel wrote his teorem to test David Hilbert’s endeavor, Logic and the Foundation of Mathematics[0], to unify mathematics. Gödel proved that it is impossible to

Gödel wrote his teorem to test David Hilbert’s endeavor, Logic and the Foundation of Mathematics[0], to unify mathematics. Gödel proved that it is impossible to do. But you may have a different version of history. [0] https://www.famousscientists.org/david-hilbert/ https://www.famousscientists.org/david-hilbert/