Lengoaia formal batez (alfabetoa eta formazio-erregelak) eta dedukzio-sistema batez (axiomak eta inferentzia-erregelak) osatutako sistema.