俄语 ⇄ 世界语 中文 丹麦语 乌克兰语 俄语 匈牙利语 南非荷兰语 卡尔梅克语 土耳其语 塔吉克语 塞尔维亚拉丁语 巴什基尔语 希伯来语 希腊语 德语 意大利语 拉脱维亚语 挪威博克马尔语 捷克语 日语 格鲁吉亚语 法语 波兰语 波斯语 爱沙尼亚语 瑞典语 芬兰语 苏格兰盖尔语 英语 荷兰语 葡萄牙语 西班牙语 越南语 阿布哈兹语 阿拉伯语 高棉语

俄语	英语
механизм доказательства	reasoner
правило доказательства	proof rule
теоретическое доказательство	theoretical proof