形式的数学と非形式的数学が全く同じ証明能力を持つと仮定すればメタレベルの連鎖は終わる
そしてそんな大胆な仮定は置けないので、ここが理性の限界、後は個人の好みの問題
明らかと言えるような何事もない