数学归纳法与匹亚诺公理

来源 :数学理论与应用 | 被引量 : 0次 | 上传用户:liangzi_li
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
数学归纳法推理是典型的三段论,而不是完全归纳法,其基础是自然数列的性质,而不是逻辑公理.皮亚诺公理中的归纳法公理并不是一种证明方法,而是自然数集的一条不可缺少的根据性质.
其他文献
机器人技术是当前涉及机械、传感、控制、人工智能等多个领域的跨学科的前沿和热点,可以广泛地应用于工业、农业、医疗、军事、航天、海洋等各个领域,不仅是现代制造业皇冠顶
[目的]描述维持性血液透析患者疲乏与生活质量的状况,探讨维持性血液透析患者疲乏与生活质量的影响因素及其相关性,为干预维持性血液透析患者疲乏与生活质量提供理论依据。[
1总则 1.1性质 关于“公共卫生”,早在1952年WHO所下的定义,其含义是指要使全社会各方面的广泛协作,通过有组织、有效措施的实施,努力推进人类的健康。因此,“公共卫生”不仅包括临
为研究真菌预处理秸秆的发酵产甲烷特性,采用白腐真菌固态发酵对玉米秸秆进行预处理,考察生物预处理对干黄和青贮玉米秸秆生物降解性及其厌氧发酵产甲烷性能的影响。真菌预处
摘 要 目的:探讨宫腹腔镜联合手术在女性不孕症诊治中的应用价值。方法:对138例不孕症患者进行宫腹腔镜联合检查及手术的临床资料进行回顾性分析。结果:盆腔粘连和输卵管阻塞是不孕症主要原因,子宫内膜异位症是次要原因。结论:宫腹腔镜联合诊治不孕症是目前诊治女性不孕症的最佳方法。  关键词 不孕症 宫腹腔镜联合  doi:10.3969/j.issn.1007-614x.2012.17.141  Abst
关键词 宫外孕 急性盆腔炎 保守治疗  病历资料  患者,女,20岁,G1P1,2年前曾孕6个月引产1次,因经期同房后下腹疼痛1天于2011年5月18日第1次入院,平素月经规律,3~4/25天,无明显停经史,末次月经2011年5月13日,量较前稍增多,伴血块,4天干净。前次月经4月10日,色量同前。腹疼呈持续性,伴下坠感,较剧,无恶心、呕吐、晕厥症状,入院测T 37℃,BP 90/60mmHg,下
病历资料患者,男,82岁。因头痛,右前额皮肤瘙痒3天前来就诊。3天前,感右前额皮肤瘙痒,有1cm皮肤疖疮样变。2天后皮损面积扩大,皮疹处红肿,皮温稍高,体温37.5℃,右侧眼睑肿胀,
关键词 指动脉逆行高岛状皮瓣修复术皮扶缺损 损伤  2001年3月~2009年8月收治手指不同部位缺损的患者30例,采用指动脉逆行岛状皮瓣修复术,并对修复后效果进行随访观察,现报告如下。    资料与方法  本组30例,男21例,女9例,年龄15~60岁,平均32岁,均为手指Ⅰ度~Ⅱ度缺损或软组织缺损。缺损部位:指腹缺损10例,指端缺损5例,指背缺损5例,甲床缺损10例;损伤指别:示指11例,中指
2009年参加河南省信阳市临床生化实验室间质量控制评价活动,经过3年来的实践,体会到参加这项活动,对于检查和保证检验工作的质量,起到一定的监督促进作用。  为了搞好室内质控,重视从基础工作开始,零八年初,组织全科人员学习了临床生化质量控制的有关理论,方法学评价,卫生统计学知识。使大家对质量控制工作的意义,必要性有了充分地认识。  控制实验室内可能出现误差的因素  校正仪器:由市计量部门对万分之一天
目的:探讨小儿急性阑尾炎临床特征、诊断、治疗方法和治疗效果。方法:收治小儿急性阑尾炎患儿176例,进行归纳分析、总结。结果:本组176例患儿均经手术切除治疗,术后切口感染12例