非形式证明

【计】 informal proof

非的英语翻译：

blame; evildoing; have to; non-; not; wrong
【计】 negate; NOT; not that
【医】 non-

形式证明的英语翻译：

【计】 formal proof