Gödel, stellingen van
In 1931 bewees de Oostenrijkse logicus Kurt Gödel dat er voor ieder axiomastelsel dat voldoende is om de rekenkunde te axiomatiseren altijd op zijn minst één welgevormde formule (zie axiomastelsel) zal bestaan die in het systeem niet beslisbaar is, hoewel we op andere gronden kunnen inzien dat zij waar is. Hij toonde ook aan dat de consistentie van...
