Os Axiomas no-lochicos son formulas especificas d'una teoría y s'aceptan nomás por alcuerdo. Quan se razona arredol de dos estructuras diferents, por eixemplo, os numeros naturals y os numeros enters se puet embrecar os mesmos axiomas lochicos, manimenos, os axiomas no-lochicos capturan o que ye especial de cada estructura particular (u conchunto d'estructuras). Por ixo, os axiomas no-lochicos, a diferencia d'os axiomas lochicos, no son tautolochías. Atro nombre que se gosa dar ta os axiomas no-lochicos ye postulau.