以上是基于逻辑语言中的句法（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
Does the company have thunder-proof system?
贵公司是否有防雷系统？
Proving standard is the first and foremost problem to be solved in the proof system establishment.
证明标准是证据制度建构中首先要解决的问题。
Four compound shock absorbers and shock-proof system. No need of fixation of equipment. Be applicable to any floor.
采用四套复合减震、吸震、避震系统，设备完全不需任何固定，可适用于任何楼层。
应用推荐