formalizazio

iz. Mat. eta Log. Hizkuntza arruntaren enuntziatuak edo teoria batenak formula bilakatzeko bidea, formula horiek sistema formala eratzen dutela edo ez dutela. ik. sistema formala.