En sentido estricto, prueba sin supuestos o premisas iniciales. Pero en general, una inferencia deductiva, una deducción, una prueba. La demostración correcta sigue y observa reglas establecidas, y la incorrecta no las observa. Una demostración es formal si recurre a fórmulas y métodos formales, lenguajes formales o a un cálculo lógico para probar que una determinada fórmula es una consecuencia lógica de otras u otra (derivación).