extra-metamathematics
[计] 附加元数学
热门查询
- cute adj. 可爱的；漂亮的；聪明的，伶俐的
- driving n. 驾驶；操纵 adj. 强劲的；推进的；精力旺盛的 v. 驾驶（drive的ing形式）
- challenging v. 要求；质疑；反对；向…挑战；盘问（challenge的ing形式） adj. 挑战的；引起挑战性兴趣的
- hitherto adv. 迄今；至今
- signorina n. （意）未婚女子；姑娘
- printmaker n. 版画复制匠
- fear n. 害怕；恐惧；敬畏；担心 vt. 害怕；敬畏；为…担心 vi. 害怕；敬畏；为…担心
- sizing n. 胶料；涂料；涂上胶水 v. 制定…的标准（size的ing形式）
- Y n. 英语字母中的第二十五个字母（小写为y） abbr. 钇（yttrium）
- socked n. 短袜；一击 vt. 重击；给……穿袜 adv. 正着地；不偏不倚地 adj. 非常成功的 n. (Sock)人名；(德)佐克
- arbitrage n. 套汇，套利；仲裁
- uptight adj. 紧张的；拮据的；心情焦躁的；易怒的
- stipulate adj. 有托叶的 vi. 规定；保证 vt. 规定；保证
- overemphasize vt. 过分强调 vi. 过分强调 如何强调也不为过
- actively adv. 积极地；活跃地
- schmidt n. 施密特（姓氏）
- Espana n. <西>西班牙
- royalty n. 皇室；版税；王权；专利税
- tangy adj. 扑鼻的；有刺激性的；强烈的；咸的
- firms n. 公司，厂商（firm的复数） v. 变得坚实（firm的第三人称单数）
