Die Zusatzannahmen sind formal-Logische Notwendigkeiten, die aus der Ungenauigkeit der ursprüngliche Aufgabenstellung folgen. Die theoretischen Grundlagen dafür findest du bei Interpretation (Logik). Eine mMn verständlichere Erklärung ergibt sich aus den Anforderungen die in der Informatik an eine Spezifikation gestellt werden: