The soundness of this definition amounts to the belief that a published proof can, in principle, be converted into a formal proof.
A solvencia desta definición equivale á crenza en que unha demostración publicada pode, en principio, converterse nunha demostración formal.