Un sistema axiomático formal consta de los siguientes elementos: