数学の基礎: 二つの道数学の基礎: 二つの道建設的数学と古典数学の対立を探る。論理学構成的数学と古典数学をつなげる構成的数学と古典的帰納的数学の相互作用を探る。2025-07-10T10:39:22+00:00 ― 0 分で読む