Este documento define los principales términos y conceptos utilizados en las demostraciones matemáticas, incluyendo lema, axioma, hipótesis, corolario, tesis y teorema. También explica los elementos del principio de inducción como proposición, hipótesis inductiva y tesis inductiva. Finalmente, nombra a los integrantes del grupo 1 que realizó este trabajo.