Este documento describe los aspectos que caracterizan a la demostración en lógica matemática. Explica que la teoría de la demostración trata las demostraciones como objetos matemáticos y se ocupa de su sintaxis. Luego detalla los métodos inductivo y deductivo para realizar demostraciones, así como los procedimientos directo e indirecto. Finalmente, ofrece instrucciones para realizar una demostración formal.