英语 ⇄ 俄语 德语 +

proof system 强调
数学	система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)
科学的	система доказательства (MichaelBurov)

proof-system : 25 短语, 14 学科

一般	1
信息安全	3
信息技术	1
安全系统	2
密码学	6
库页岛	1
技术	1
无线电学	2
电子产品	1
研究与开发	1
编程	2
自动化设备	1
航天	1
软件	2