講座数学の考え方 23 数学と論理 [戻る]