形式证法

【计】 formal proof

形式的英语翻译：

form; format; modality; shape
【法】 form

证的英语翻译：

card; certificate; evidence; proof

法的英语翻译：

dharma; divisor; follow; law; standard
【医】 method
【经】 law