致命的批评是:在我们证明某个形式系统 (formal system) 是一致的 (consistent)之前,我们并不能说它的哥德尔句 (Godel sentence) 是真的,但是对于它的一致性,我们却无法提供 形式证明 (...
基于2542个网页-相关网页
inconsistent formal system 不相容形式系统
arithmetization of formal system 形式系统的算术化 ; 正式系统算术化
incompleteness of formal system [自] 形式系统的不完全性
formal road system 规整式道路系统
formal system ft 形式系统FT
Formal system LN 形式系统N
the formal system 正式制度
general formal system 一般形式体系
Besides formal system, we should also pay attention to such informal systems’ constraint for enterprisers as social psychology and public opinions.
除了正式制度，我们还要注意非正式制度如社会心态、社会舆论等对企业家的制约。
参考来源 - 企业家成长制度的研究A series of properties of generalized tautologies of the basic formal system of universal logic are discussed.
给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。
参考来源 - 泛逻辑的基本形式系统中的广义重言式理论 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
N an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system 形式系统 (Also called formal theory, formal calculus) [logic] → compare formal language
Maitland offered one reason: the subject requires researchers to "master an extremely formal system of pleading and procedure".
梅特兰给出了一个理由：这一课题要求研究人员“掌握一套极其正式的答辩程序系统”。
This dissertation presents a formal system of cooperation.
提出了一种描述主体协作的形式系统。
In a social system structure, the system includes the formal system and the informal one.
在一个社会的制度结构中，制度包括正式制度和非正式制度。
应用推荐