mathematical proof
/ˌmæθəˈmætɪkəl pruːf/翻译: 用逻辑推理和已知事实（如公理、定义、已证定理）来证明数学命题为真的严格论证过程；也指这种论证本身。
phrase
/ˌmæθəˈmætɪkəl pruːf/
Формальное логическое рассуждение, демонстрирующее истинность математического утверждения, обычно с использованием аксиом, определений и ранее установленных теорем.
Razonamiento lógico formal que demuestra la verdad de una afirmación matemática, utilizando normalmente axiomas, definiciones y teoremas previamente establecidos.
Raisonnement logique rigoureux qui établit la vérité d'une assertion mathématique, généralement à partir d'axiomes, de définitions et de théorèmes déjà démontrés.
Formale logische Argumentation, die die Wahrheit einer mathematischen Aussage zeigt, üblicherweise unter Verwendung von Axiomen, Definitionen und bereits bewiesenen Sätzen. Der Begriff bezeichnet sowohl den Beweisvorgang als auch dessen Ergebnis.
Demonstração formal e lógica que estabelece a verdade de uma afirmação matemática, geralmente partindo de axiomas, definições e teoremas já provados. Também se diz de qualquer argumento ou justificativa rigorosa apresentada como prova cabal de algo.
用逻辑推理和已知事实（如公理、定义、已证定理）来证明数学命题为真的严格论证过程；也指这种论证本身。
استدلال منطقي صوري يُثبت صحة قضية رياضية اعتمادًا على المسلّمات والتعريفات والمبرهنات السابقة. ويُطلق أيضًا على البرهان أو الحجة التي تُقام لإثبات صحة أي قضية أو ادعاء.
A formal logical argument that demonstrates the truth of a mathematical statement, typically using axioms, definitions, and previously established theorems.
Logical demonstrationC1formal
A rigorous, logical argument that demonstrates the truth of a mathematical statement, based on axioms and rules of inference.
Логическое доказательствоDemostración matemáticapreuve mathématiqueMathematischer BeweisProva matemática逻辑证明برهان رياضي- The mathematician presented a complex mathematical proof for the theorem.
- A mathematical proof must be free of logical errors.
- Students learn to construct a mathematical proof in advanced algebra.