総合的研究 論理学で学ぶ数学――思考ツールとしてのロジック