>>431
それと、ふと思ったのですが

＞＞我々が通常の数学をする際に用いているのはメタなレベルにおいての言語および論理です
実は、
　　我々が通常の数学をする際、本当は完全に形式的に議論…例えばヒルベルト流の形式的体系で公理から推論規則で次々と命題を演繹していっている
　　のだけれども、私たち人間は頭がいいから細かいところや面倒なところはすっ飛ばしているだけなんだ。
　　そして、記号の羅列だけで命題を並べるのは可読性に劣る場合もあるから、所々単に自然言語で表しもしているだけなんだ。
　　だから我々の数学の証明はメタっぽく見えるけど本当は形式化されているんだ
ということだったりはしませんか？