网站首页 词典首页
逻辑学中的一种程序。即以某些基本概念和基本命题出发，依据特定演绎规则，推导一系列的定理，从而构成一个演绎系统的方法。公理化体系最早的例子是亚里士多德的三段论和欧几里得的几何学。
英汉词典共收录311570条英汉翻译词条，基本覆盖所有常用英文单词的例句及中文翻译，是不可多得的英语学习材料。