Hemos visto que las demostraciones (proofs) matemáticas son de tres tipos: pre-formales, formales, post-formales.