Vuonna 1930 syyskuun 6. päivänä Kurt Gödel, loogikko, josta välittömästi tuli kuuluisa, esitti Deutsche Mathematiker-Vereinigungin vuosittaisessa kokoontumisessa Königsbergissä täydellisyyslauseensa. Gödel oli ratkaissut tämän ongelman tohtorinväitöskirjassaan Hans Hahnin johdolla vuonna 1929. Vuotta myöhemmin Gödel todisti epätäydellisyyslauseensa.
Kuva: Wikipedia