数学归纳法的逻辑基础是什么? ·其合理性来自证明对象的结构: ·自然数的结构: ·0(或者1)是自然数: ·如果k是自然数,k的“后继”也是自然数; ·自然数只能通过使用上述规则有限次得到 ,一般来讲,我们用良序性来描述上述类似结构: Well-ordering principle of N. Every nonempty subset of the natural numbers contains a minimum.数学归纳法的逻辑基础是什么? • 其合理性来自证明对象的结构: • 自然数的结构: • 0(或者1)是自然数; • 如果k是自然数,k的“后继”也是自然数; • 自然数只能通过使用上述规则有限次得到 • 一般来讲,我们用良序性来描述上述类似结构: