首页|国学书库|影印古籍|诗词宝典|二十四史|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|图书集成|印谱|丛书|中医中药|软件下载
译文|四库全书|全文检索|古籍书目|国学精选|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|石刻墓志|家谱|对联|历史地图|会员中心
从一些初始概念、公理出发，根据一定的推理规则而推演出一系列定理所构成的演绎体系。是应用公理化方法的结果。公元前3世纪欧几里得的《几何原本》就建立了一个公理系统。对一个公理系统的基本要求是无矛盾性。采用表意的人工符号语言的完全形式化的公理系统称为形式系统。
