table 桌子
tablet 平板
tack 大头钉
tackle 钓鱼用具
tact 机智
tactics 策略
tag 标□
tail 尾巴
tailor 裁缝师
taint 污点
take 拿
tale 故事
talent 才能
talk 谈论
tall 高
tame 驯服的
tan 黄褐色
tangle 纠缠
tank 槽
tap 轻打;龙头
tape 胶带;□带
taper 尖细
tapestry 绣帷
tar 焦油
tardy 缓慢的
target 目标
tariff 关税
tarry 耽搁
tart 果馅饼
task 派给工作
tassel 穗饰
taste 滋味;品味
tatter 碎片
tavern 客栈
tawny 黄褐色
tax 租税
taxation 赋税
taxi 计程车
taxpayer 纳税人
tea 茶
teach 教导
teacher 老师
team 团队
tear 眼泪;撕破
tease 取笑
teaspoon 茶匙
technical 技□的
technique 技□
tedious 乏味的
teem 充满
telegram 电报
telegraph 电报机
telephone 电话
telescope 望眼镜
tell 告诉
teller 出纳员
temper 脾气
temperament 气质
temperance 节制
temperate 有节制的
temperature 温度
tempest 暴风雨
temple 寺庙
temporary 暂时的
tempt 勾引
temptation 诱惑
tempting 迷人的
ten 十
tenant 房客
tend 走向;照料
tendency 趋势
tender 细嫩的
tenderness 温和性
tenement 住宅
tennis 网球
tenor 男高音
tense 拉紧;时态
tension 压力
tent 帐篷
tenth 第十
term □语
terminal 终点
terminate 结束
terrace 平台
terrible 可怕的
terribly 可怕地
terrific 非常的
terrify 惊吓
territory 领土
terror 恐怖
test 考试
testament 遗嘱
testify 证实
text 本文
textbook 教科书
textile 纺织品
texture 质地
than 比
thank 感谢
thankful 感谢的
thanksgiving 感恩
that 那个
thatch 茅屋顶
thaw 解冻
the 这
theater 戏院
theatrical 戏剧化的
thee 你
theft 偷窃
their 他们的
theirs 他们的东西
them 他们
theme 主题
themselves 他们自己
then 当时
thence 从此
theological 神学的
theology 神学
theory 理论
there 那□
thereabout 在那附近
thereafter 在那之後
thereby 因此
therefore 所以
therein 在其中
thereof 关於
thereon 在那上面
thereupon 立刻
therewith 随後
thermometer 温度计
these 这些
they 他们
thick 厚的
thicken 变厚
thicket 丛林
thickness 厚度
thief 窃贼
thigh 大腿
thimble 顶针
thin 薄的
thine 你的
thing 东西
think 思考
third 第叁
thirst 口渴
thirsty 渴的
thirteen 十叁
thirteenth 第十叁
thirtieth 第叁十
thirty 叁十
this 这个
thistle 蓟
thither 到那□
thorn 刺
thorough 完全的
those 那些
thou 你
though 虽然
thought 观念
thoughtful 关心的
thoughtless 不注意的
thousand 千
thrash 鞭打
thread 细线
threat 威胁
threaten 威胁
three 叁
threshold 入门
thrice 叁倍地
thrift 节俭
thrifty 节俭的
thrill 颤抖
thrive 兴盛
throat 喉咙
throb 跳动
throne 王座
throng 群众
through 经过
throughout 遍及
throw 丢掉
thrush 画眉鸟
thrust 插入
thumb 拇指
thump 重击
thunder 雷声
Thursday 星期四
thus 如此
thwart 阻桡
thyself 你自己
tick 滴答声
ticket 票
tickle 搔□
tide 潮汐
tidings 消息
tidy 整洁的
tie 打结
tiger 老虎
tight 紧的
tighten 束紧
tile 砖瓦
till 直到
tilt 倾斜
timber 木料
time 时间
timely 及时的
timid 胆小的
tin 锡
tinge 轻染
tingle 刺痛
tinker 修补匠
tinkle 叮□声
tint 色彩
tiny □小的
tip 小费
tiptoe 趾尖
tire 疲倦
tired 疲倦的
tiresome 讨厌
tissue 组织;薄纸
title 标题
to 向;往
toad 蟾蜍
toast 烤□包
tobacco 烟草
today 今天
toe 脚趾
together 一起
toil 劳累
toilet 厕所
token 象徵
tolerable 可容忍的
tolerate 宽容
toll 通行税
tomato 蕃茄
tomb 坟墓
tomorrow 明天
ton 吨
tone 音调
tongs 夹钳
tongue 舌头
tonight 今晚
tonnage 吨数
too 太
tool 工具
tooth 牙齿
top 顶
topic 论题
torch 火炬
torment 折磨
torrent 急流
tortoise 龟
torture 折磨
toss 掷钱
total 总计
totally 统统
totter 蹒跚
touch 触摸
touching 动人的
tough 强硬的
tour 周□
tourist 观光客
tournament 竞技
tow 拖车;拖船
toward 朝向
towel 毛巾
tower 塔
towering 高耸的
town 镇
township 镇区
toy 玩具
trace 迹象
track 跑道
tractor 拖曳机
trade 生意
trader 商人
tradesman 零售商
tradition 传统
traditional 传统的
traffic 交通
tragic 悲剧
trail 迹,线索
trailer 活动房屋
train 列车
trainer 训练者
training 训练
trait 特徵
traitor 叛逆者
tram 电车
tramp 践踏
trample 践踏
tranquil 宁静的
tranquility 宁静
transact 交易
transaction 交易
transfer 迁移
transform 变换
transformation 变换
transient 暂时寄
transit 运输
transition 过渡时期
transitive 及物的
translate 翻译
translation 翻译
transmission 传送
transmit 传送
transparent 透明的
transport 输送
transportation 转运
transverse 横断物
trap 圈套
travel □历
traveler 旅客
traverse 横过
tray 盘子
treachery 背叛
tread 践踏
treason 叛逆
treasure 财宝
treasurer 出纳员
treasury 宝库
treat 对待
treatise 论述
treatment 待遇
treaty 条约
treble 叁重的
tree 树
tremble 发抖
tremendous 很大的
tremulous 发抖的
trench 渠沟
trend 趋势
trespass 侵害
trial 试验,审判
triangle 叁角形
tribe 部落
tribute 贡物
trick 秘诀
trickle 滴流
trifle 琐事
trifling 些许的
trim 修剪
trinity 叁位一体
trip 旅行;旅程
triple 叁倍的
triumph 凯旋
triumphant 获胜的
trivial 琐细的
trolley 手推车
troop 军队
trophy 纪念奖
tropic 热带
tropical 热带的
trot 快步跑
trouble 困难
troublesome 麻烦的
trough 槽
trouser 裤子
trout 尊鱼
truck 卡车
true 真的
truly 真实地
trumpet 喇叭
trunk 躯□
trust 信任
trustee 受□人
trusting 相信的
trusty 可信任的
truth 真理
truthful 诚实的
try 试
trying 难捱的
tub 浴盆
tube 筒
tuck 挤进
Tuesday 星期二
tug 强拉
tulip □金香
tumble 滚落
tune 调子
tunnel 隧道
turbulent 不稳定气流
turf 草地
turn 转动
turnip 芜菁
turtle 海龟
tutor 家庭教师
tweed 斜纹软呢
twelfth 第十二
twelve 十二
twentieth 第二十
twenty 二十
twice 两次
twilight 微明
twin 双胞胎
twine 合股线
twinkle 闪亮
twinkling 闪烁的
twist 扭转
two 二
type 样式,打字
typewriter 打字机
typhoid 伤寒症
typhoon □风
typical 典型的
typist 打字员
tyranny 暴政
tyrant 暴君
ugly □的
ultimate 最後的
ultimately 最後
umpire 裁判
unable 不能
unanimous 全场一致的
unarmed 未武装的
unaware 不觉察的
unbearable 不堪忍受的
unbroken 完整的
uncertainty 不确定
unchanged 不变的
uncle 伯父;叔父
uncomfortable 不舒适的
uncommon 稀有的
unconscious 失去意识的
unconsciously 无意识地
uncover 暴露
under 在下
underbrush 草丛
undergo 经历
underground 在地下的
underline 底线
underneath 在下面
understand 了解;明白
understanding 理解
undertake 承担
underwear 内衣裤
underworld 地狱
undesirable 讨人厌的
undisturbed 安静的
undo 解开
undone 未完成的
undress 脱衣服
uneasily 不自在地
uneasiness 不自在
uneasy 不安的
unemployment 失业
unequal 不平衡的
uneven 不平的
unexpected 意外的
unfair 不公平的
unfavorable 不利的
unfinished 未完成的
unfit 不适当的
unfold 展开
unfortunate 不幸的
unfortunately 不幸地
ungrateful 忘恩负义的
uniform 制服
uniformly 相同地
unimportant 不重要的
union 联盟;工会
unique 唯一的
unit 单位
unite 联合
united 联合的
unity 单一;整体
universal 宇宙的
universally 普遍地
universe 宇宙
university 大学
unjust 不公平
unkind 不仁的
unknown 未知的
unless 除非
unlike 不同的
unlimited 无限的
unload 卸下
unlock 开锁
unlucky 不幸的
unmarried 未婚
unmoved 不动摇的
unnatural 不自然的
unnecessary 不必要的
unoccupied 没人住的
unpleasant 不愉快的
unprecedent 空前的
unreasonable 不合理的
unrest 不安
unseen 看不见的
unspeakable 无法形容的
unsuccessful 不成功的
untie 解开
until 直到
unto 至;到
untouched 未提及的
untrue 不确实的
unusual 不平常的
unwelcome 不受欢迎的
unwilling 不情□的
unwise 不智的
unworthy 不值得的
up 向上地
uphold 支持;举起
upland 高地
uplift 抬起
upon 在□之上
upper 上面的
upright 直立的
uprising 叛乱
uproar 骚动
uproot 拔根
upset 烦恼
upside 上边
upward 向上地
upwards 向上地
urchin 顽童
urge 催促
urgent 紧急的
urn 骨□
us 我们
usage 用法
use 利用
useful 有用的
useless 无用的
usher 招待员
usual 平常的
usurp 霸□
utensil 用具
utility 公益事业
utilize 利用
utmost 极端的
utter 完全的
utter 说出
utterance 发言
vacancy 空缺
vacant 空的
vacation 假期
vacuum 真空
vagabond 流浪者
vagrant 流浪者
vague 含糊的
vain 无效的
vale 分离;再会
valiant 英勇的
valley 山谷
valor 勇气
valuable 有价值的
valuation 评价
value 价值
valve 活塞
van 货车
vanish 消失
vanity 浮华
vanquish 征服
vapor 水蒸气
variable 会变的
variation 变化
varied 不同的
variety 变化
various 不同的
varnish 油光漆
vary 改变
vase 花瓶
vassal 附庸
vast 大量的
vat 大桶
vault 撑竿跳
vegetable 蔬菜
vegetation 植物
vehemence 猛烈
vehement 猛烈的
vehicle 车辆
veil 面罩
vein 血管
velocity 迅速
velvet 丝绒
venerable 可敬的
vengeance □仇
venom 毒物
vent 出口
ventilate 通风
ventilation 通风
venture 冒险
veranda 走廊
verb 动词
verdict 判决
verge 边缘
verify 证实
verily 真正地
verse 韵文
version 版本
vertical 垂直的
very 很
vessel 容器;船
vest 背心
vestige 痕迹
veteran 退伍军人
veto 否决
vex 激怒
vexation 苦恼
vibrate 震动
vibration 震动
vice 罪恶
vicepresident 副总统
vicinity 附近
vicious 邪恶的
victim 受害者
victor 胜利者
victory 胜利
view 景色
viewpoint 观点
vigilance 警戒
vigor 活力
vigorous 精力充沛的
vile 恶劣的
villa 别墅
village 乡村
villager 村民
villain 恶棍
vine 藤蔓
vinegar 醋
vineyard 葡萄园
violate 违犯
violation 犯法
violence 暴乱
violent 强暴的
violet 紫罗兰色
violin 小提琴
viper 毒蛇
virgin 处女
virtually 实质上
virtue 道德
virtuous 有德行的
visible 看得见的
vision 视力
visit 访问
visitor 访问者
visual 视觉的
vital 有活力的
vitality 生命力
vitamin 维他命
vivid 生动的
vocabulary 语□
vocal 发声的
vogue 时髦
voice 声音
void 空的
volcanic 火山的
volcano 火山
volleyball 排球
volume 册
voluntary 自□的
volunteer 志□者
vote 投票
vow 誓言
vowel 母音
voyage 航行
vulgar 粗俗的阶级
wade 在水步行
wafer 感化饼乾
wag 摇摆
wage 工资;薪水
wager 赌注
wagon 运货马车
wail 哀泣
waist 腰
waistcoat 背心
wait 等
waiter 侍者
waiting 等候
wake 醒
waken 醒来
walk 走
wall 墙壁
wallet 钱袋
walnut 胡桃
wand 棒
wander 徘徊
wanderer 流浪者
wane 亏缺
war 战争
ward 病房
warden 典狱长
wardrobe 衣厨
ware 器具
warehouse 仓库
warfare 战争
warlike 好战的
warm 温暖的
warmth 温暖
warning 警告
warp 弯曲
warrant 保证
warrior 战士
warship 军舰
wary 警觉的
was 是
wash 洗涤
washing 洗涤
wasp 黄蜂
waste 浪费
wasteful 浪费的
watch 注意看
watchful 注意的
watchman 看手者
water 水
waterfall 瀑布
waterproof 防水的
waterway 水路
watery 含水的
wave 波浪
waver 摇摆
wax 蜡;渐盈
way 道赂
wayside 路边
wayward 任性的
we 我们
weak 虚弱的
weaken 削弱
weakness 虚弱
wealth 财富
wealthy 富有的
weapon 武器
wear 穿带
wearily 疲劳地
weariness 疲劳
weary 疲劳的
weasel 黄鼠狼
weather 天气
weave 编织
weaver 纺织者
web 纺织品;网
wed 婚嫁
wedding 婚礼
wedge 楔形物
Wednesday 星期叁
wee 细小的
week 星期
weekday 平常日
weekend 周末
weep 哭泣
weigh 称重
weight 重量
weird 怪异的
welcome 欢迎
welfare 福利
well 很好
wellknown 着名的
were 是
west 西方
western 西方的
westward 向西的
wet □的
whale 鲸鱼
wharf 码头
whatever 无论如何
wheat 小麦
wheel 轮子
when 何时
whence 何处;何以
whenever 无论何时
where 何处
whereas 然而
whereby 如何
wherefore 何故
wherein 在其中
whereupon 於是
wherever 无论何处
whether 是否
which 哪一个
whichever 无论何者
while 当□时
whim 突然的念头
whimper 呜咽
whine 发牢骚
whip 鞭笞
whir 呼呼声
whirl 旋转
whirlwind 旋风
whisk 拂扫
whisker 触□
whisky 威士忌酒
whisper 耳语
whistle 吹口哨
whit 一点
white 白色
whiten 漂白
whiteness 白色
whither 向何处
who 何人
whoever 无论何人
whole 全部的
wholesale 批发
wholesome 有益的
wholly 完全地
whom 谁
whoop 呼叫声
whose 谁的
why 为什麽
wicked 邪恶的
wide 宽阔
widely 广泛地
widen 加宽
widespread 普及的
widow 寡妇
width 宽度
wife 妻子
wig 假□
wigwam 帐篷
wild 野生的
wildcat 野猫
wilderness 荒野
will 意志;遗嘱
will 会
willful 情□的
willing 情□的
willingness 意□
willow 柳树
wilt 枯萎
win 获胜
wince 退避
wind 风
wind 弯曲;上□
winding □旋
windmill 风车
window 窗子
windy 有风的
wine 水果酒
wink 眨眼睛
winner 胜利者
winning 胜利的
winter 冬天
wintry 寒冬的
wipe 擦掉
wire 电线
wireless 无线电的
wiry 金属线的
wise 聪明的
wish □望
wishful 渴望的
wit 智能
witch 巫婆
witchcraft 巫□
with 和
withal 又;□且
withdraw 撤回
wither 枯萎
withhold 扣留
within 在□之内
without 没有
withstand 对抗
witness 证人
witty 机智的
wizard 男巫
woe 悲痛
woeful 悲痛的
wolf 狼
woman 女人
wonder 奇□
wonderful 奇妙的
wondrous 惊人的
wont 习惯的
woo 求爱
wood 木材
wooded 多树木的
wooden 木□的
woodland 林地
woodman 樵夫
woodpecker 啄木鸟
wool 羊毛
woolen 羊毛的
word 文字
work 工作
worker 工人
working 工作的
workmanship 手艺
workshop 工作室
world 世界
worldly 世俗的
worm □
worry 使烦恼
worse 更坏的
worship 崇拜
worshipper 崇拜者
worst 最坏的
worth 值得
worthless 无用的
worthy 值得的
wound 伤
wrap 包
wrath 愤怒
wreath 花圈
wreathe 成圈
wreck 遇难船
wrench 螺旋钳
wrest 扭
wrestle 摔角
wrestling 摔角
wriggle 蠕动前进
wrinkle 皱纹
wrist 手腕
writ 令状
write 写
writer 作家
writing 着述
wrong 错
yacht □艇
yard 庭院
yard 码
yarn 毛线
yawn 哈欠
yea 是的
year 年
yearly 每年的
yeast 酵母
yell 叫喊
yellow 黄色
yes 是
yesterday 昨天
yet 迄今
yield 产生
yoke 轭
yonder 那边
you 你;你们
young 年轻的
youngster 少年
your 你的
yourself 你自己
youth 青年
youthful 年青的
zeal 热心
zealous 热心的
zero 零
zest 热心
zinc 锌
zone 地带
zoo 动物园
zoological 动物学的
zoology 动物学

逻辑 logic

数理逻辑 mathematical logic

模型论 model theory

集合论 set theory

递归论 recursion theory

证明论 proof theory

非标准分析 nonstandard analysis

反推数学 reverse mathematics

元数学 metamathematics

二阶算术的子系统 subsystems of the second-order arithmetic

直觉主义 intuitionism

构造性数学 constructive mathematics

语言 language

元语言 metalanguage

元定理 metatheorem

公理 axiom

定理 theorem

命题 proposition

命题演算 propositional calculus

谓词演算 predicate calculus

合取 conjunction

析取 disjunction

非,否定 negation

量词 quantifier

全称量词 universal quantifier

存在量词 existential quantifier

关系 relation

函数 function

常量 constant

变元,变量 variable

项 term

公式 formula

原子公式 atomic formula

句子,命题 sentence

永真命题 tautology

前束标准型 prenex normal form

理论 theory

可满足的 satisfiable

和谐性,相容性 consistency

句法 syntax

语义 semantics

可靠性定理 soundness theorem

完备性定理 completeness theorem

紧致性定理 compactness theorem

可公理化 axiomatizable

有限可公理化 finitely axiomatizable

同构 isomorphism

同态 homomorphism

初等等价 elementary equivalent

初等嵌入 elementary embedding

初等子模型 elementary submodel

初等扩张 elementary extension

图象 diagram

正图象 positive diagram

初等图象 elementary diagram

模型 model

可数模型 countable model

不可数模型 uncountable model

原子模型 atomic model

素模型 prime model

齐性模型 homogeneous model

万有模型 universal model

饱和模型 saturated model

特殊模型 special model

递归饱和模型 recursively saturated model

布尔值模型 boolean-valued model

格值模型 lattice-valued model

超滤 ultrafilter

超积 ultraproduct

超幂 ultrapower

模型完备 model complete

子模型完备 submodel complete

量词消去 quantifier elimination

稳定性理论 stable theory

集,集合 set

子集 subset

幂集 power set

空集 empty set

有限集 finite set

无限集 infinite set

可数集 countable set

不可数集 uncountable set

有限集 finite set

无限集 infinite set

序数 ordinal

极限序数 limit ordinal

后继序数 successor ordinal

基数 cardinal

大基数 large cardinal

可测基数 measurable cardinal

正则基数 regular cardinal

奇异基数 singular cardinal

不可达基数 inaccessible

力迫法 forcing

连续统假设 Continuum Hypothesis

选择公理 Axiom of Choice

决定性公理 Axiom of Determinacy

归纳法 induction

超限归纳法 transfinite induction

超限递归 transfinite recursion

递归 recursion

原始递归 primitive recursive

递归函数 recursive function

递归可枚举 recursively enumerable

递归可判定 recursively decidable

递归不可分 recursively inseparable

递归集 recursive set

算术集 arithmetical set

解析集 analytic set

单纯集 simple set

创造集 creative set

多一归约 many-one reducible

一一归约 one-one reducible

图灵归约 Turing reducible

不可解度 degree of unsolvability

图灵度 Turing degree

一阶逻辑 first-order logic

二阶逻辑 second-order logic

高阶逻辑 higher-order logic

非古典逻辑 non-classical logic

无穷逻辑 infinitary logic

古典逻辑 classical logic

直觉主义逻辑 intuitionistic logic

模态逻辑 modal logic

多值逻辑 many-valued logic