第一数学归纳法起源问题我听到关于第一数学归纳法有两种说法,一是先有一个意大利数学家提出了最小数原理（自然数集合任意一个子

第一数学归纳法起源问题
我听到关于第一数学归纳法有两种说法,一是先有一个意大利数学家提出了最小数原理（自然数集合任意一个子集中都有数值最小的元素）,这个不能证明,而由这个可以证明第一数学归纳法的正确性.第二种是说先有一个“归纳公理”（也就是第一数学归纳法的正确性无需证明,是公理）,由这个证出最小数原理.那么到底哪种说法正确,还是都可以?