Målet var at udlede alle matematiske sandheder ved hjælp af enkle og veldefinerede logiske regler, og eventuelt finde en metode til at udlede matematiske sandheder ”mekanisk”. En af lederne af dette arbejde var [[David Hilbert]], som var en af de fornemste matematikere på denne tid. Han præsenterede et program for at videreudvikle og formalisere matematikken. Han ønskede at konstruere et matematisk system baseret på nogle grundlæggende [[aksiom]]er. Ved hjælp af dette system skulle alle sætninger og problemer i matematikken kunne bevises, og systemet skulle være konsistent. Hvis man beviste at en sætning var sand med én metode, skulle man altså ikke kunne finde en anden metode som beviste at den samme sætning var usand. Dette arbejde samlede flere af de bedste matematikere i første del af 1900-tallet.
Matematik