>>896
「証明能力」か...
その言葉を使うなら、
メタレベルは形式的証明の正しさを確認することに使われるのみで、
それ自体はなんらの証明能力を持たない、ってのが僕の主張ってとこかな。

これ自体は至極普通だよね。