|
皮亚诺公理只是默认第一个数1是自然数(数学界把0划归自段数是皮亚诺公理提出100年后的事了,参见老版皮亚诺公理第1条)而其它的自然数均是由皮亚诺公理第二条:Ⅱ、每一个确定的自然数\(a\),都具有确定的后继数\(a'\) ,\(a'\)也是自然数(数\(a\)的后继数\(a'\)就是紧接在这个数后面的整数\(a+1\)。例如:1'=2,2'=3等等。)\(\mathbb{N}\)中的数是从小到大逐步生成的。生成的依据\(\color{red}{是每一个确定的自然数a,都具有确定的后}\)\(\color{red}{继数a',并且a'也是自然数}\)!由于每个自然数既是基数,也是序数,所以确定了的\(v-k\)和\(v\)\((k\ne 0)\)是两个不同的序数,故此也是两个不同的自然数。根据皮亚诺公理:Ⅳ、不同的自然数有不同的后继数,如果自然数b、c的后继数都是自然数a,那么b=c;所以,\(v-k=v\),根本就不是自然数的性质。最多也只能算是elim“要吃狗屎”的依据。【\(v-k=v=sup\mathbb{N}\)\((\forall k\in\mathbb{N})\)不是\(v\)前面的数而是\(v\)自己。】这是elim没弄懂\(\mathbb{N}\)每个数既是基数,又是序数(即自然数集的良序性),和《数学分析》中的确界是一个确定的有限数(即\(v\)是\(\mathbb{N}\)的上界,但非上确界)的胡说八道。【\(v-k=v\ne m(\forall m,k\in\mathbb{N}\).换言之形似降列\(\{v-n\}\)原地踏步,永远及不到任何自然数m】这不是康托尔集合论的观点。因为康托尔的正整数集合是整体完成了的实无穷集合。所谓整体完成是指自然数集\(\mathbb{N}\)同时满足纯粹性(即\(\mathbb{N}\)中的元素都是自然数,没有例外,简称“无杂”)和完备性(即任何自然数都在\(\mathbb{N}\)中,不存在\(\mathbb{N}\)之外的自然数。简称“无漏”)即为整体完成。所以现行集合论中没有【永远达不到任何自然数m】一说。是的,【没有人不允许对\(v\)之前的数(即自然数)用皮亚诺公理】,但你偏认为【\(v\)之前的数(即自然数)用皮亚诺公理】是默认\(v\)是自然数。其实质就是不允许对\(v\)之前的数(即自然数)用皮亚诺公理。不过你不允许对\(v\)之前的数(即自然数)用皮亚诺公理也不和你的【没有人】矛盾。因为你本身就不是人嘛!再次重伸\(v-k=v\)不是皮亚诺公理中的任一条款,也不是康托尔实正整数生成法则。elim口中的这样那样矛盾,都是elim的“狗要吃屎”事实,和他“要吃狗屎”的逻辑演译造成的!elim死缠\(v-k=v\)这个“狗要吃屎”的矛盾等式,只能更进一步彰显elim是流氓、无赖!注意:【】中的内容是elim在多个主题下的胡说八道,故本帖亦可作为对相关帖文的统一回复! |
|