Wenn „(n) ∙ φn” sagt „es ist allgemein bewiesen daß φξ” dann sagt „~(n)φn” nicht „es ist bewiesen daß φξ für einen Wert von ξ falsch ist.”