公理证明英文解释翻译、公理证明的近义词、反义词、例句
英语翻译:
【计】 axiomatic proof
分词翻译:
公理的英语翻译:
axiom; generally acknowledged truth
【计】 Armstrong
证明的英语翻译:
prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony
网络扩展解释
“公理证明”
公理证明(Gōnglǐ zhèngmíng)是数学中的一个重要概念,它在数学中有着广泛的应用。它是指在某种逻辑系统中,对于所有的命题和定理,都要有一个基本的前提和假设,这些前提和假设就是公理。从公理出发,我们可以通过逻辑推理推导出其它定理和命题,从而证明它们的正确性。
英文解释和读音
英文对应为“Axiom Proof”,其中“Axiom”意为“公理”,“Proof”意为“证明”。读音为/ˈæksɪəm/ /pruːf/。
英文用法
在数学中,当我们试图证明一个定理或者推导出一个命题时,我们通常会从一些已知的基本前提和假设出发,这些前提和假设就是公理。我们需要通过逻辑推理和证明来证明这些命题或者定理。因此,公理证明是数学中非常重要的一个概念。
英文例句
例句1:This theorem is based on a set of axioms that must be assumed to be true.
这个定理是基于一组必须被假定为真的公理。
例句2:The proof relies on a clever choice of axioms and on a subtle argument about the properties of the structures involved.
证明基于巧妙的公理选择和对所涉及结构的属性的微妙论证。
英文近义词
在英文中,“公理证明”的近义词包括:Axiomatic Proof、Deductive Proof、Logical Proof等。这些词都强调了证明的过程中逻辑推理的重要性。
英文反义词
英文中“公理证明”的反义词为“非公理证明”(Non-axiomatic Proof),这意味着证明的过程不依赖于公理的使用,而是使用别的方式来证明一个命题或者定理。
英文单词常用度
“公理证明”这一词汇在英文中较为少见,在数学领域中使用较为频繁,但是一般人在日常生活和工作中可能不会经常使用到。