第四十二章:数学城 4（2 / 2）

更的定义如下：

一个戴德金-皮亚诺结构为一满足下列条的元组x，x，f：

1x是一集，x为x中一元素，f是x到自身的映射；

2x不在f的值域内；

3f为一单射；

4若a为x的子集满足:x属于a，且若a属于a，则fa亦属于a，则ax

该与皮阿罗引出的关于自数集的假设:

1°p自数集不是空集；2°p到p内存在aa后继元素的一一映射；

3°后继元素映射像的集是p的真子集；

4°若p任子集既含有非后继元素的元素，又有含有子集中每个元素的后继元素，则子集与p

这个假设能用来论证许多时见又不来源的定!

例如:中个假设即为应用极广泛的归纳一数学归纳的论依据。

（摘自《百百科》）

科幻灵异相关阅读：大秦：祖龙的旅行青蛙扼元末日降临，我有一座避难所界典纪事之朝航碧鸥我的绝色美女姐姐梦境趣谈十二星座之守护星神星际种田：指挥官的小娇娇软又甜庐州志青春花样年华

660号生物学家所有内容均来自互联网，BT天堂小说吧只为原作者作家uK2PXu的小说进行宣传。欢迎各位书友支持作家uK2PXu并收藏660号生物学家最新章节。