首页|国学书库|影印古籍|诗词宝典|精选|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|丛书|中医|软件下载
译文|四库全书|全文检索|古籍书目|正史|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|印谱|地图|会员中心
亦称“公设定义”、“隐定义”。通过在公理系统中使用被定义项,由此自然而然地明确被定义项的语法作用和特征的定义方法。如一些命题逻辑系统以“﹁”(否定)和“→”(蕴涵)作为初始概念,不加定义,而通过公理,在公理系统中使用它们,明确其意义作用,这就是公理定义。