情報理論のための数理論理学 (数学のかんどころ)