(del griego θεώρημα, theórema, lo que se puede contemplar con los ojos o con el entendimiento)
Término propio de las ciencias matemáticas, donde desde Euclides designa una conclusión demostrada a partir de axiomas, o postulados, y definiciones. En lógica, el enunciado que a modo de conclusión se demuestra por deducción a partir de un conjunto vacío de premisas. Es, por tanto, una verdad lógica, una verdad necesaria o una tautología.
Que una fórmula, B, es deducible de un conjunto vacío, se indica [math]Æ \vdash B[/math] o bien [math]\vdash B[/math]
Un teorema de lógica puede usarse en una prueba o derivación como regla derivada.