登录 | Chinese | 使用条款
词典论坛联络

   英语 ⇄ 俄语 +
Google | Forvo | +

formally provable theorem

强调
数学, 逻辑 формально доказуемая теорема

增加 | 报告错误 | 获取短网址