>>377
え、必要性は？
必要不可欠な例を聞いているのですが

「分からなかったらメタレベルっていっときゃいい」数理論理は本当に必要なのですか？

実際に東大のカリキュラムを調べていますが、数理論理や数学基礎論という授業は情報と数学で極わずかしかありませんでした（探しかたが悪いのかもしれませんが）
これで大事だと強弁できるのは何故なのでしょうか