"abstrakt utledning" er et 18-bokstavers substantiv som brukes som synonym for "representasjonsteorem". representasjonsteorem betyr: En utledning som er konseptuell og ikke-konkret.