En el ámbito de la lógica y la matemática, se utilizan diversas terminologías para referirse a diferentes tipos de proposiciones y sus características. Una proposición puede ser considerada un teorema cuando necesita ser demostrada para ser aceptada como verdadera.