Los axiomas son ciertas fórmulas en un lenguaje formal que son universalmente válidas, esto es fórmulas satisfechas por cualquier estructura y por cualquier función variable.