Proposición cuya verdad se demuestra como consecuencia lógica de axiomas o suposiciones básicas y de otros teoremas.
Etimológicamente proviene del griego teoros=expectador de un espectáculo o ceremonia pública. En este sentido un teorema se pone a consideración ("vean esto") de la comunidad de interesados en las matemáticas a manera de conocimiento "empaquetado".
Ver también:
Corolario