En nuestro mundo de lógica, si un sistema es consistente, debe haber al menos un teorema verdadero que sea improbable con el sistema: su creador.
In our world of logic, if a system is consistent there must be at least one true theorem that is unprovable within the system: its creator.
No hay comentarios:
Publicar un comentario