なるほど、じゃあ君にとっては古典１階述語論理に関する完全性定理は無価値なわけだし
その完全性定理を活用して示される論理でなく数学の理論に関する様々な結果も価値がないわけね
で、君のようなことを言い出すと「数学の基礎付けに使うメタ論理やそこでの諸概念の定義にimpredicativeなのがあっても良いのか」という話になってくる
私にとっては数学基礎論という問題意識、数学を基礎付けようなどという傲慢な意識が今となってはナンセンスだと感じるだけだがね
まあ逆数学みたいなアプローチは単なる知的好奇心だけでなく実際の数学の「難しさ」を客観的に測る上でも価値があるとは思ってるが
ちょうどGentzen流の還元的証明論によって公理系の無矛盾性証明の「難しさ」（つまり無矛盾性の保証料とでも言うべき事柄）に対して特定の順序数が与えられるようになり
公理系の「複雑さ」を測る客観的な尺度が与えられたことに大きな意義や価値があるのと同じように
そう言えば逆数学の易しそうな解説本が出たね
