[数]?形式系统
致命的批评是:在我们证明某个形式系统 (formal system) 是一致的 (consistent)之前,我们并不能说它的哥德尔句 (Godel sentence) 是真的,但是对于它的一致性,我们却无法提供 形式证明 (...
?规范化管理系统
... 规范化种植 GAP 规范化管理系统 formal system 系统规范化说明 System Specification ...
不相容形式系统
形式系统的算术化 ; 正式系统算术化
自 形式系统的不完全性
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。