b'\n_START_ARTICLE_\nFormatieregel\n_START_PARAGRAPH_\nFormatieregels 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 syntactisch correct zijn binnen deze formele taal. De formele semantiek - de betekenis van de strings - wordt hierbij buiten beschouwing gelaten.'