数学基礎論の定理の証明に数学(例えば集合論)の定理を使ってしまったら、数学基礎論の立場が損なわれてしまいませんか？
何のために形式主義の立場で公理化を行ってきたんだよってなりませんか？