>>814
メタ定理はメタ言語の閉論理式じゃないんですか?