そうなると今度はメタ理論の無矛盾性が問題となる。このことは無限後退に陥るから結局完全な無矛盾性証明は不可能。
数学には絶対的真理は存在しない。どんな仮定からどんな結論を帰結できるかという相対的真理しか無い。