词语解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
随机推荐
- bù kàng不亢
- zèn rùn谮润
- fēng gào风告
- ruá nòng挼弄
- lín sòng临送
- sān qiè三郄
- mǎ shǐ马史
- huō méng lóu豁蒙楼
- nèi cí内祠
- jiǎn jié剪捷
- cí lián慈怜
- xī suǒ悉索
- tū jià突驾
- wǎn lì宛丽
- lián àn廉按
- shè yì设意
- nián liū鲇溜
- mí hóu猕猴
- liàng yí量移
- xiè yǎn蟹眼
- tù jìng兔径
- yè chūn夜春
- lài qīn赖亲
- qí zhāng旗章
- shè lùn社论
- xián dú闲独
- jù rén zi窭人子
- wēi chén煨尘
- yù jiàn豫见
- jiè duàn戒断