分かってない奴への啓蒙である。
特に計算量はこれからますます重要になってくる。
やがて数理論理学は（つまり大抵決定可能な体系）、
いわゆるどれだけ記述できるかという視点から
構築しなおされるだろう。