その理論体系では証明も反証もできないことがよりメタな理論体系から証明されている命題はあるらしいけど（連続体仮説とやら）、どれだけメタっても証明も反証もできないかどうかすら証明も反証もできない命題ってやっぱあるのかな。人類にも人工知能にも「人工知能工知能」にも理論上全く判定不能ゆえ、永遠に未解決でしかいられない命題…。
いや、「あるのかな」に対して「あるで」とか「無いで」とか言えてしまったら、それはその命題ではない気がするな。いやしかし、その考え方はあくまで私の常識理論体系の範疇にあるものでしかなく、それをメタった理論体系にまで考察を拡げたものではないしなぁ……。