Ahí anda Bala y sus amigos, pobres, les voy a dar unas palabras de aliento: "El Teorema de Gödel no implica que todo sistema axiomático sea incompleto. Por ejemplo, los axiomas originales de Euclides son casi una axiomatización completa. Los axiomas que faltan expresan propiedades que parecen tan obvias que fue necesaria la aparición de la idea de la prueba formal".
No hay comentarios.:
Publicar un comentario