＞＞数理論理で用いている数学の定理はメタであり
何でそんなことしていいんですか？
メタであっても数学の定理は各種公理から導かれています
メタな立場でそういう定理を使う時はそういう公理を暗黙的に(直観的に)認めているってことじゃないんですか？
もし認めて使っているんだったら何のために形式的数学なんてやってるんだってことになりませんか？
(メタな立場で選択公理や正則性公理を仮定するのはさすがに抵抗を感じるでしょう)
何と言うんだろうか…全ての数学は数学基礎論を土台にして成り立っていなくてはならない。だからこそ数学基礎論は他の何者にもよらず確立されていなくちゃならない
という感じを私は持っているのかも知れません
