“证明论”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

网站首页汉语俄语英语

字词	证明论
释义	证明论哲学卷证明论　　数理逻辑和数学基础的重要分支之一。研究数学系统的逻辑结构和证明规律的学科。其目的是为了证明数学系统的公理的协调性。由希尔伯特首先提出。内容主要包括系统的协调性(亦称“无矛盾性”)、完全性和判定问题等。证明论经过哥德尔和根岑(Gerhard Gentzen, 1909—1945)等人的研究而得到发展。出处：哲学卷 • 逻　辑　学 • 现代形式逻辑数理化力学卷证明论　　亦称“元数学”。研究数学系统的逻辑结构和证明规律的学科。其主要目的是为了证明数学系统的公理的协调性。由希尔伯特首先提出。内容主要包括系统的协调性(亦称“无矛盾性”)、完全性和判定问题等。证明论经过哥德尔和根岑(GerhardGentzen,1909—1945)等人的研究而得到发展,成为数理逻辑和数学基础的重要分支。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	三仙炼丹是什么意思三代是什么意思三代以内旁系血亲是什么意思三代吉金文存是什么意思三代虫是什么意思三代虫病是什么意思三代遗书是什么意思三令五申是什么意思三价谓词是什么意思三伏是什么意思三休是什么意思三传是什么意思三传科是什么意思三位一体是什么意思三位一体公式是什么意思三位一体论是什么意思三体是什么意思三体唐诗是什么意思三体型是什么意思三体石经是什么意思三体舰是什么意思三体问题是什么意思三余是什么意思三佛祖是什么意思三佛齐是什么意思 туфля的意思 туфля 的意思 туфобетон的意思 туфобетон 的意思 туфобрекчия 的意思 туфобрекчия的意思 туфовый 的意思 туфовый的意思 туфолава 的意思 туфолава的意思 mistrusts mists mistune misty misty-eyed misunderstand misunderstanding misunderstandings misunderstands misunderstood

修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。