>>815
メタ言語は形式化されず、直観的に把握されて用いられているだけだと俺は理解してる。
メタ言語が形式化され、従って、形式論的取り扱いができるなら、それは既に2階の述語論理とかになってるんじゃね？
対象言語に対するメタ言語っていう捉え方をしてる以上、形式化されえないわけで、だから、閉論理式なんて考えられるわけがない