• 2022-10-26
    自然数公理系统直接保证了数学归纳法的合理性,所以,也可以把数学归纳法当作公理来看待。()