1 stycznia 1931
Twierdzenia Gödla o niezupełności
Kurt Gödel publikuje przełomowe twierdzenia o niezupełności, które dowodzą, że w każdym wystarczająco złożonym systemie formalnym istnieją zdania, których prawdziwości nie można udowodnić ani obalić w ramach tego systemu. To odkrycie zrewolucjonizowało podstawy matematyki i logiki.