Este documento define los métodos de demostración matemática y los términos clave utilizados en las demostraciones. Explica conceptos como axioma, lema, corolario, hipótesis, tesis y teorema. También describe los elementos del principio de inducción como proposición, hipótesis inductiva y tesis inductiva.