希望能对超穷归纳法的来源理解有帮助。是否可以得到Peano文献的支持。