Kurt Gödeñ está considerado el lógico más importante desde Aristóteles. Su teorema de incompletitud demuestra que en todo sistema formal de aritmética existen enunciados verdaderos que, sin embargo, no pueden demostrarse.
Advertencia: Las existencias de nuestro sistema no son precisas al 100%, por lo que antes de dirigirte a una de nuestras sucursales, te recomendamos que llames por teléfono para confirmar su disponibilidad.