形式证法翻译

英语翻译：

【计】 formal proof

分词翻译：

形式的英语翻译：

form; format; modality; shape
【法】 form

证的英语翻译：

card; certificate; evidence; proof

法的英语翻译：

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