明清实录 | 二十四史 | 四库全书 | 古今图书集成 | 历史人物 | 说文解字 | 成语词典 | 甲骨文合集 | 殷周金文集成 | 象形字典 | 十三经索引 | 字体转换器 | 篆书识别 | 近义反义词 | 对联大全 | 家谱族谱查询 | 哈佛古籍

首页 > 汉语词典 >

公理系统

公理系统　　　gōng lǐ xì tǒng

从一些初始概念、公理出发，根据一定的推理规则而推演出一系列定理所构成的演绎体系。是应用公理化方法的结果。公元前3世纪欧几里得的《几何原本》就建立了一个公理系统。对一个公理系统的基本要求是无矛盾性。采用表意的人工符号语言的完全形式化的公理系统称为形式系统。

「公理」开头的词语:

公理化方法

公理自在人心

公理集合论

蕭湯二老遺詩合編二卷　一切經音義索隱不分卷　 [民國]商水縣志二十五卷　偵探俄路記一卷　帝系（大）不分卷　鍼灸素難要旨三卷　道德真經集解四卷　公羊經傳異文集解二卷　 [安徽歙縣]新安余氏世系像譜不分卷　種樟簡明法十二條　陽明按索　汗子　息縣一卷　恆春吟館詩集二卷　六壬類聚四卷　佛說雨寶陀羅尼經一卷　耕情詩稿四卷　菊潭驪唱二卷　聖觀自在菩薩求修一卷　湖北省各縣局交代暫行章程附交代冊結程式即文冊到省期限表　後山居士詩話題　冷齋夜話十卷　柚堂全集五種十五卷　石樵遺稿一卷　繪圖孝義真蹟珠塔緣四卷二十四回　鄭敷文景望書說一卷　崇蘭堂遺稿八種二十四卷　奇門臆解一卷　闡理編二卷　經解入門一卷　嘉靖二十五年湖廣鄕試錄一卷　光緒十一年乙酉科浙江鄉試硃卷一卷　 [康熙]贊皇縣志九卷附錄一卷　列女傳補注八卷　蜩鳴集二卷　守意龕詩集二十八卷　粥糜品　南華瀝摘萃一卷　佛說觀藥王藥上二菩薩經一卷　觀所緣緣論講要一卷　藤雪樓詩鈔不分卷　花韻樓醫案　廣林一卷　孟子音義二卷　秋門詩鈔一卷　清聞齋詩存三卷　合肥縣一卷　真西山先生心經（真文忠公心經）一卷　陸心源遵捐國子監書清單　學古瑣言二卷　全憶真妃（清音子弟書）　飼蠶法一卷　清微黃籙大齋科儀（黃籙科儀）十二卷　金剛頂瑜伽護摩儀軌一卷　眞臘風土記一卷　初學記三十卷　寄鷗館讀史六百韻不分卷　海道圖說十五卷長江圖說一卷　虞諧志一卷　孝經札記一卷　

关于本站 | 收藏本站 | 欢迎投稿 | 意见建议 | 国学迷
Copyright © 国学大师古典图书集成 All Rights Reserved.
免责声明：本站非营利性站点，内容均为民国之前的公共版权领域古籍，以方便网友为主，仅供学习研究。
内容由热心网友提供和网上收集，不保留版权。若侵犯了您的权益，来信即刪。scp168@qq.com
ICP证：琼ICP备2022019473号-12