Formatieregel

Formatieregels zijn in de wiskundige logica regels met behulp waarvan wordt bepaald welke strings van symbolen die zijn afgeleid van het alfabet van een formele taal binnen deze formele taal syntactisch correct zijn. De formele semantiek, de betekenis van de strings, wordt hierbij buiten beschouwing gelaten.