La sonoridad de esta definición descansa en la creencia de que una demostración publicada puede, en principio, ser convertida en una demostración formal.