Asumiendo esta interpretación, lo anterior se puede entender como que «existen afirmaciones ciertas no deducibles dentro de la teoría».