El primer teorema afirma, entre otras cosas, que si es consistente, entonces no es demostrable.