Istas son bellas formulas en un luengache que son validas universalment, ye decir, formulas que son satisfeitas por qualsiquier estructura y por qualsiquier función variable, en terminos coloquials, istos son enunciaus que son verdaders en qualsiquier universo posible, baixo qualsiquier entrepitación posible y con qualsiquier asignazión de valuras. Por un regular se prene como axiomas lochicos un conchunto minimo de tautolochías que siga prou ta contrimostrar todas as tautolochías en o luengache.