Sætning 1: En sådan abstraktion eller formalisering gør den matematiske viden mere generel, i stand til flere betydninger og derfor nyttig i flere forskellige sammenhænge. Sætning 2: En sådan abstraktion eller formalisering gør matematisk viden mere generel, i stand til flere forskellige betydninger, og derfor nyttig i flere sammenhænge. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Nej, det gør jeg ikke.