数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
1.现在；此刻：～状。～任。～役。～行。
2.临时；当时：～编～唱。～做的烧饼。
3.当时可以拿出来的：～货。～金。～钱。
4.现款：兑～。贴～。
5.表露在外面，使人可以看见：～原形。～出本相。
1.代替：～课。～笔。～销。
2.代理：～局长。
3.姓。
4.历史的分期；时代：古～。近～。现～。当～。
5.朝代：汉～。改朝换～。
6.世系的辈分：第二～。下一～。 老一～。我们这一～。
7.地质年代分期的第二级，代以上为宙，如显生宙分为古生代、中生代和新生代，代以下为纪。跟代相应的地层系统分类单位叫做界。
巡察：巡～。～骑。～卒。
1.编辑；辑录。
2.整套书籍、资料等按内容或发表先后次序分成的各个部分：新闻简报第一～。这部丛书分为十～，每～五本。