Definiciones escritas por: Golda Franco-1975

Proposición demostrable, particularmente la que se demuestra a partir de axiomas matemáticos el teorema de Pitágoras, el teorema fundamental de la aritmética, el teorema de Tales.