数理逻辑——算法数学的形式化语言の画像