xiàn dài luó jí数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

jīng chuàng1.惊骇而悲伤。

jīng hóng惊飞的鸿雁。比喻体态轻盈的美女：翩若惊鸿｜惊鸿照影。

yǐ wēi1.亲热地倚靠在一起。

zào yán shēng shì捏造虚言以挑起事端。

yī yú zhī dì隅：角落。形容地域狭小。

fú shì1.人间，人世。旧时认为人世间是浮沉聚散不定的，故称。

yī yán dìng jiāo形容双方意气相投，刚一交谈，就成了至交。

gǎn chuàng1.感慨悲伤。

féng/fèng féng/fèng lián lián泛指缝补工作：拆拆洗洗、～的活儿，她都很内行。

chěng yì1.炫耀技艺。