Para la mayoría de los matemáticos, escribir una demostración completamente formal es un gasto de tiempo innecesario como para ser práctica común.