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.