"matematisk utledning" er et 20-bokstavers substantiv som brukes som synonym for "representasjonsteorem". representasjonsteorem betyr: En utledning av resultater ved hjelp av matematiske metoder.