以上是基于逻辑语言中的句法（syntax）和证明系统（proof system）来讲的，但是我们还有另外一个问题：数学系统并不是纯粹句法上的，数学系统本身也是有 语义 （semantics）的。
基于24个网页-相关网页
interactive proof system 交互式证明系统
inert gas explosion-proof system 惰性气体防爆系统
digital proof system 数码校对系统
fool-proof system 最安全制度
knowledge interactive proof system 知识交互式证明系统
zero-knowledge interactive proof system 零知识交互式证明系统
theft proof system 防盗系统
professional proof system 专业打样系统
We establish a proof system to formally verify aspect-oriented programs based on the program specifications. The soundness of the proof system is also proved.
基于本研究的程序规约建立一个证明系统进行面向方面程序的形式化验证,并证明证明系统的有效性。
参考来源 - 基于开放时态逻辑的面向方面程序形式化验证和模块推理研究Song Dynasty is the periods that proof system made great development.
两宋是我国证据制度获得极大发展的时期。
参考来源 - 宋代证据制度研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Burden of proof system is an important litigation.
证明责任制度是重要的诉讼制度。
Introduced here are the engineering requirements in the main cable, the tower frame and the storm-proof system.
介绍了主索和塔架、风缆系统的设施及工程方面的要求。
The structure, working principle and programming principle of the engine theft-proof system on SHANGHAI GM BUICK SAIL are introduced.
主要介绍上海通用别克赛欧发动机防盗系统的结构、工作原理和编程原理。
应用推荐