Formalmente el teorema de consistencia se expresa de la siguiente forma: