The phrase "a correct proof" is correct and usable in written English.
It can be used in contexts related to mathematics, logic, or any field where proofs are required to validate a statement or theorem.
Example: "In order to validate the theorem, we need to present a correct proof that adheres to the established principles of mathematics."
Alternatives: "a valid proof" or "an accurate proof".
Ruffini's effort was not wholly successful, but in 1824 the Norwegian mathematician Niels Abel gave a correct proof.
"My reasoning was: if I made an error and someone used my work to construct a correct proof I would be pleased," he said.
The first person to submit a correct proof of Goldbach's conjecture -- a well-known mathematical poser that has resisted solution for more than 250 years -- before March 15 , 2002 will receive a check for $1 million.
Felix Bernstein supplied a correct proof in his 1898 PhD thesis; hence the name Cantor Bernstein Schroeder theorem.
We give here a corrected proof.
On the other hand, " in any correct proof of [the] proposition all characteristics of the subject must be used, i.e., they must be applied in the derivation of the predicate" (Bolzano 1810, II, § 28; Russ 2004, 122 123).
According to "Einstein's Mistakes" by Hans Ohanian, the great physicist's derivation of the famous equation E=mc2 contained several errors; it wasn't until 1911 that another scientist, Max von Laue, developed a full and correct proof.
For the first correct proof, a $1 million prize will be awarded by the Clay Mathematics Institute.
The main motivation for this section is to present an exact version and correct proof for the following theorem.
Ackermann (1940) was later able to adapt Gentzen's ideas to give a correct consistency proof of first-order arithmetic using the epsilon-substitution method.
For the computation of π, he gave the correct proof of Snell's refinement, and using an inscribed polygon of only 60 sides obtained the bounds 3.1415926533 < π < 3.1415926538, for the same accuracy the classical method requires almost 400,000 sides.
