"formel" er et 6-bokstavers substantiv som brukes som synonym for "representasjonsteorem". representasjonsteorem betyr: En matematisk eller logisk uttrykksmåte som representerer en idé.