axiomatizability
[计]可公理化性
热门查询
- EA abbr. 艺电公司（Electronic Arts） n. (Ea)人名；(柬)叶；(刚(金))埃亚
- canoe n. 独木舟；轻舟 vi. 乘独木舟 vt. 用独木舟运
- dashing v. 急奔；猛掷（dash的ing形式） adj. 时髦的，华丽的；雄赳赳的；劲头十足的
- digitised vt. 数码化（等于digitize）
- tiki n. 提基（波利尼西亚神话中人类的始祖）；木或石刻的提基像；提基像做的护身符
- multilateral adj. [数] 多边的；多国的，多国参加的
- deconstructive 解构主义
- ineptness n. 拙劣；荒谬
- beatification n. 受福；列福式；（天主教）宣福礼
- wigwam n. [建] 棚屋；简陋小屋；总部；拱形顶
- ujamaa n. 乌贾马，家族式社会主义(坦桑尼亚的一种社会主义形式)
- stooge n. 喜剧里的配角或丑角；助手；傀儡；密探 vi. 充当配角；巡航
- tart n. 果馅饼；妓女 adj. 酸的；锋利的；尖刻的 vt. 打扮 n. (Tart)人名；(英)塔特
- placer n. 冲积矿；放置者 n. (Placer)人名；(捷)普拉采尔；(西)普拉塞尔
- knight n. 骑士，武士；爵士 vt. 授以爵位 n. (Knight)人名；(英)奈特
- Feetham n. (Feetham)人名；(英)菲瑟姆
- Herts n. 赫特福德郡(位于英国英格兰东南部)
- clearness n. 明白；晴朗；明亮
- Piaf n. (Piaf)人名；(法)皮亚夫 abbr. 心房颤动药物介入（pharmacological intervention in atrial fibrillation）
- centralize vt. 使集中；使成为…的中心；使集权 vi. 集中；实行中央集权
