WisFaq!

Zelfconsistent recursief axiomatisch systeem

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
8-11-2016

Antwoord

Ik heb de beginselen van de wiskundige logica uit onderstaand boek geleerd. Elke term uit de onvolledigheidsstellingen van Goedel wordt daar uitgelegd.

Zie Mendelson: Introduction to Mathematical Logic [https://www.crcpress.com/Introduction-to-Mathematical-Logic-Sixth-Edition/Mendelson/p/book/9781482237726]

kphart
8-11-2016