Goedenavond, Ik ben al enige tijd op zoek naar de uitleg van een zelfconsistent recursief axiomatisch systeem. Is er iemand die mij een handige link kan sturen of de titel van een boek kan aanreiken waar ik dat goed uitgelegd kan krijgen?
Jan
Student hbo - dinsdag 8 november 2016
Antwoord
Ik heb de beginselen van de wiskundige logica uit onderstaand boek geleerd. Elke term uit de onvolledigheidsstellingen van Goedel wordt daar uitgelegd.
