Welke wiskundige bewees in 1931 dat geen enkel formeel systeem van rekenkunde zowel volledig als consistent kan zijn?
Een stelling die de hele wiskunde op zijn kop zette en filosofen tot op de dag van vandaag bezighoudt. Niet elke waarheid blijkt bewijsbaar.
Anoniem stemmen is mogelijk. Registreer voor een profiel en score.
