数学セミナー 2021年2月号 通巻 712号
2021.02.09
[特集1] 逆数学
内容紹介
数学は公理から定理を証明するものと考えられるが、「逆数学」ではその逆に、定理の証明に必要な公理を調べる。今回は逆数学の基礎と、多様な分野との関わりを紹介する。