"formulering" er et 11-bokstavers substantiv som brukes som synonym for "representasjonsteorem". representasjonsteorem betyr: En uttrykksmåte eller utsagn som representerer en idé.