马蜞

公理化方法

gōng lǐ huà fāng fǎ

从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导…

反汗

fǎn hán

1.《汉书·刘向传》"《易》曰'涣汗其大号。'言号令如汗，汗出而不反者也。今出善令，…

杂录

zá lù

1.古代史学体裁之一种。 2.古人多以此为书名。

冤债

yuān zhài

1.谓造孽必有报应，犹如欠债。

百里之命

bǎi lǐ zhī mìng

1.指国君的政令。百里﹐指诸侯国。

兵队

bīng duì

1.军队。