数学证明中非形式的证明采用的是严密的________语言。

本题考查数学证明中非形式证明所采用的语言类型的知识点。解题思路是明确数学证明分为形式证明和非形式证明，然后根据它们各自的特点来确定非形式证明所使用的语言。
在数学证明里，形式证明是基于严格的逻辑规则和符号系统进行的，具有高度的精确性和严密性。而非形式证明则是用自然语言来表达的，自然语言是人们日常交流和表达思想的语言，虽然它不像形式语言那样严格和精确，但在数学证明中，非形式证明可以更直观、更易于理解地阐述证明的思路和过程，并且同样需要保证逻辑的严密性。所以数学证明中非形式的证明采用的是严密的自然语言。