"formell framstilling" er et 20-bokstavers substantiv som brukes som synonym for "representasjonsteorem". representasjonsteorem betyr: En presis og strukturert måte å uttrykke en teori på.