1.theorem-proving  

定的英語翻譯：

book; order; decide; fix; stable; surely; calm

理的英語翻譯：

manage; natural science; pay attention to; reason; texture; tidy up; truth

證明的英語翻譯：

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【計】 proofness; proving
【化】 proofing
【醫(yī)】 certificate; certify; proof
【經】 attest; attestation; authenticated; authentication; certification
certify; testimony