"formell logikk" er et 14-bokstavers substantiv som brukes som synonym for "representasjonsteorem". representasjonsteorem betyr: Studiet av formelle systemer for logikk.