An ambitious project by David Hilbert to formalize all mathematics and prove its consistency using finitary methods. It aimed to…