Die klassische Mathematik basiert auf der Grundannahme, dass allen formal-logischen Aussagen immer einer der beiden Wahrheitswerte wahr oder falsch zugeordnet werden kann. Sofern sich ein formales Modell für eine zu bearbeitende Aufgabe angeben lässt, stellt die gewöhnliche Mathematik mächtige Werkzeuge zur Problemlösung bereit. Die Beschreibung eines formalen Modells geschieht in einer Terminologie, die sehr viel strikteren Regeln folgt als die natürliche Umgangssprache. Auch wenn die formale Spezifikation häufig mit großem Aufwand verbunden ist, so lassen sich durch sie Missinterpretationen vermeiden. Außerdemkönnen im Rahmen eines formalen Modells Vermutungen bewiesen oder bisher unbekannte Zusammenhänge abgeleitet werden.