弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
词语繁体：形式系統
词语读音：xíng shì xì tǒng
首字拼音：Xing
词语拼音：xing shi xi tong
词语简拼：XSXT
词语结构：ABCD式词语
词语字数：四字词语
通常由以下四部分组成：
(1)一组基本符号。
(2)由基本符号构成系统中各种成分的规则，可以称之为构造规则。
(3)系统中各成分间的一组基本关系，可以称之为公理。
(4)由基本关系推出新关系的一组推导规则。谓词演算、语言的文法、平面几何的公理系统等都是形式系统。
【形的意思】：形 xíng（ㄒ一ㄥˊ） （一）、实体：形仪（体态仪表）。形体。形貌。形容。形骸。形单影只。形影相吊 详情>
【式的意思】：式 shì（ㄕˋ） （一）、物体外形的样子：式样。样式。（二）、特定的规格：格式。程式。（三）、典礼 详情>
【系的意思】：系（係、繫） xì（ㄒ一ˋ） （一）、有联属关系的：系统。系列。系数。水系。世系。（二）、高等学校中 详情>
【统的意思】：统（統） tǒng（ㄊㄨㄥˇ） （一）、总括，总起来：统一。统率（ shuài ）。统帅。统摄（统辖 详情>
• 泛逻辑的基本形式系统中的广义重言式理论
• 摘要一个不弱于初等数论的形式系统如果是一致的，则是不完全的。
• 同时，本书以附录形式系统整理了有关教育、体育、手机、网络、环保、家居、旅行等专有领域词汇，方便读者定向查找，触类旁通。
