Es una proposición que ha sido demostrada (y puede ser demostrada) formalmente en el contexto de una teoría matemática (sistema axiomático) y mediante las reglas de la lógica formal.
Es una proposición que ha sido demostrada (y puede ser demostrada) formalmente en el contexto de una teoría matemática (sistema axiomático) y mediante las reglas de la lógica formal.
Enlaces:
[1] https://www.matetam.com/glosario/definicion/proposicion
[2] https://www.matetam.com/glosario/definicion/logica
[3] https://www.matetam.com/glosario/definicion/lema
[4] https://www.matetam.com/glosario/definicion/corolario