皮亚诺公理是意大利皮亚诺所构造的算术公理系统中的公理。1889年,在数学家戴德金工作的基础上,皮亚诺在《用一种新方法陈述的算术原理》一书中提出了一个算术公理系统,这个公理系统有九条公理,其中四条是关于“相等”的,五条是刻画数的,并且以l而不是0作为基本概念。在后来的著作中,皮亚诺对这一算术系统作了修改,去除了关于“相等”的四条公理,并且以0取代1作为基本概念,构造了沿用至今的皮亚诺算术公理系统。
同类推荐
热门推荐
治愈反派影帝粑粑
小团子沐如夏,带着她的系统穿书了。系统告诉他说他爸是影帝,家里有矿,抱上他就可以走上人生巅峰。小团子,牢牢的记住了这句话,时刻报警,她家爹爹的大腿并每天狂吹彩虹屁。………(?ω<)★沐泽,书中的大反派影帝一个,干啥啥不行,事事都倒霉,又毒舌又洁癖。圈子里的人都知道一个母胎solo28年,并且特别讨厌女生,简直就是个女性绝缘体。有一天,有人看到沐大总裁竟然在小心翼翼的哄着一个小女孩,还让她骑在自己的脖间于是第二天的热搜上来了“震惊!沐大总裁竟然有私生女”#“沐大总裁竟然容许一个小女孩坐在自己的脖间,是这天变了,还是母猪上树了”(~ ̄▽ ̄)→))* ̄▽ ̄*)o沐泽,一开始是那种六亲不认毒舌,圈子里都,敬佩羡慕又避而远之的人物。然而,自从遇到沐如夏这只小团子后便打脸了。好运随之而来,日子也比之前过得舒心多了!于是他把小团子宠上了天!华丽蜕变,全能总裁萌宠妻
你早知道我喜欢你七年?”“嗯!”七年暗恋,俩年相处,却只不过是他背后情人。他是全国名人,而她却是全民罪人,她以为她只是他找来的替身而已,却未曾想不久他扔下一纸婚契正式成为这座豪华别墅女主人。可不久后……“所以,俩年前你就知道我喜欢你?所以你才因为我喜欢你而利用我?”“嗯!”“为什么?为什么要这样利用我?”她哭着在雨中质问着眼前这个华丽男人,他却一句话也无法解释,最终她伤心离去。他才发现,原来她早就深已入骨。邪妃难惹之毒宠倾城嫡女
本是学霸的她,一朝穿越成目不识丁的名门嫡女。皇子负她,后母虐她,妹妹阴她。想欺她没文化?开玩笑!学霸不是你想惹,想惹就能惹!她智斗绿茶婊妹妹,让她绿茶变木耳,从此知道什么叫尊老爱幼!她怒整负心的皇子,他既看不清事实,那她不介意戳瞎他的狗眼!只是为什么惹上一个比她还狠的绝世妖孽?她说:“试过千万种不得相思病的方法,原来此题无解。”他说:“反正你邪我毒,我们正好狼狈为奸,包治百病!”