Desde el punto de vista de los lenguajes formales el conjunto de teoremas demostrables coincide con el conjunto de secuencias de fórmulas bien formadas sintácticamente bien formadas.