formulering (logica)

In de logica en de wiskunde is een formulering een bepaalde volgorde van symbolen die samen een bewering weergeven. Voor elk gegeven concept kan er een oneindig aantal mogelijke formuleringen bestaan. Er kunnen ook formuleringen van hetzelfde concept in verschillende talen bestaan.