別に数理論理学が数学の基礎付けに関わらなくても全然構わないんだけど、
完全性定理に限っては普遍的に成り立ってくれなきゃ困るんだよ。

「超越的な方法を認めなくても結果的に有効」であって欲しいのです。