Many different formulations exist which are all more or less equivalent but differ in the details of: their language, that is, the particular collection of primitive symbols and operator symbols, the set of axioms, or distinguished formulas, and the set of inference rules.
Existen moitas formulacións distintas que son todas máis ou menos equivalentes mais que difiren nos detalles: da súa linguaxe, que é a colección particular de símbolos primitivos e operadores, do conxunto de axiomas, ou fórmulas distinguidas, e do conxunto de regras de inferencia.