El teorema de Gödel dice que cualquier teoría matemática suficientemente compleja es o bien inconsistente o incompleta.