网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
公理系统
释义
公理系统
哲学卷
公理系统
从一些初始概念、公理出发,根据一定的推理规则而推演出一系列定理所构成的演绎体系。是应用公理化方法的结果。公元前3世纪欧几里得(Euclid,约前330—前275)的《几何原本》就建立了一个公理系统。对一个公理系统的基本要求是无矛盾性。采用表意的人工符号语言的完全形式化的公理系统称为形式系统。
出处:哲学卷 • 逻 辑 学 • 现代形式逻辑
数理化力学卷
公理系统
从一些初始概念和公理出发,根据演绎法,推演出一系列定理,从而构成的系统。最早的公理系统是由古希腊数学家欧几里得在《几何原本》中建立的。在19世纪末,德国数学家希尔伯特在《几何基础》中建构了欧氏几何学的现代公理系统。公理集合论的ZF系统、数理逻辑中的命题演算和谓词演算系统等都是现代公理系统的实例。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
中国共产党中央书记处是什么意思
中国共产党中央委员会是什么意思
中国共产党中央委员会通知是什么意思
中国共产党中央政治局是什么意思
中国共产党中央政治局常务委员会是什么意思
中国共产党中央纪律检查委员会是什么意思
中国共产党中央顾问委员会是什么意思
中国共产党为公布国共合作宣言是什么意思
中国共产党为太平洋战争宣言是什么意思
中国共产党代表团驻沪办事处旧址是什么意思
中国共产党党组是什么意思
中国共产党全国代表大会是什么意思
中国共产党全国土地会议是什么意思
中国共产党军队纪律检查委员会是什么意思
中国共产党加入第三国际决议案是什么意思
中国共产党在军队中的代表大会是什么意思
中国共产党在军队中的基层委员会是什么意思
中国共产党在军队中的委员会是什么意思
中国共产党在军队中的机关委员会是什么意思
中国共产党在军队中的机关总支部是什么意思
中国共产党在军队中的机关直属委员会是什么意思
中国共产党在军队基层中的支部是什么意思
中国共产党在民族战争中的地位是什么意思
中国共产党在社会主义初级阶段的基本路线是什么意思
中国共产党宣言是什么意思
телетайпист 的意思
телетайпный 的意思
телетайпный的意思
телетахометр的意思
телетахометр 的意思
телетеатр的意思
телетеатр 的意思
телетермометр 的意思
телетермометр的意思
телетранслятор的意思
女修道院
女修道院副院长
女修道院的
女傧相
女儿
女儿的
女公爵
女兵
女冒险家
女创立者
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/7/30 6:43:41