词语解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
随机推荐
- qū qiāng趋跄
- píng kāng平康
- chuàn gòng串供
- xiào zi孝子
- mài sī卖私
- qí róng齐容
- rè xiàn热线
- biǎo zì表字
- nán xú南徐
- biāo zhǔn shí标准时
- tōng jiān通缄
- shuāng yún霜筠
- yuán yīn元因
- kōng xí空袭
- lù sǒu麓薮
- dǐng mén鼎门
- sān zuǐ xíng三嘴行
- xiè xiá亵狎
- yīn gù姻故
- yún shì云是
- wò dàng沃荡
- tuō rén托人
- yìng yùn应运
- jié gòu杰构
- kěn xuè恳血
- nǎo mèn恼闷
- liàn guān练冠
- pān pá攀爬
- yàn qiū雁丘
- tuò jí柝汲