2. Algunos conceptos… Verdaderos Sistema Matemático Axiomas Conceptos nuevo a partir de los ya existentes. Definiciones Términos no definidos
3. Algunos conceptos… Sistema Matemático Proposición cuya verdad se ha comprobado. Deducir Teoremas Corolario Lema Es un teorema que sigue rápidamente de otro. Teorema que es útil para comprobar otro.
4. Algunos conceptos. Argumento que establece la verdad de un teorema. Demostración Herramienta para el análisis de Lógica
5. 1.6 Inducción Matemática. G. Peano (−188–1932) propuso cinco propiedades fundamentales que caracterizan a los números naturales, Axiomas de Peano. Una de ellas conocida como el Principio de Inducción Matemática es actualmente una herramienta de uso práctico y teórico principalmente para matemáticos y personas que trabajan en Ciencias Computacionales.
6. 1.6 Inducción Matemática. Ejemplo: Si S en un conjunto de enteros positivos tal que (B) 1 e S (I) k e S -> (k+1) e S entonces S contiene todos los enteros positivos.
7. 1.6 Inducción Matemática. Nomenclatura: (B) se llama Caso Base o caso inicial(I) se llama Paso de Inducciónk e S se llama Hipótesis de InducciónY como ya se mencionó todo junto se llama Principio de Inducción Matemática.