Resumiendo lo anterior puede dicise formalmente, un teorema ye una fórmula bien formada, que nun ye un axoma, y que puede ser l'elementu final de dalguna demostración, esto ye, un teorema ye una fórmula bien formada pa la cual esiste una demostración.