- La palabra teorema consiste en una proposición que puede ser demostrada de manera lógica a partir de un axioma o de otros teoremas que fueron demostrados con anticipación. Este proceso de demostración se lleva a cabo mediante ciertas reglas de inferencia.
- Afirmación que se hace dentro de un sistema lógico y que puede ser demostrado a partir de los axiomas.
No hay comentarios:
Publicar un comentario