Esta afirmación nos indica que resulta imposible encontrar un sistema formal completo y consistente para realizar afirmaciones matemáticas.