Die Standardannahme (auch Default) bezeichnet die Annahme, dass ein Satz, eine Relation oder eine Eigenschaft im Standardfall gilt. Die Standardannahme lässt Abweichungen zu, dies unterscheidet sie von der Allaussage. In Folge ist die Standardannahme das geeignete Mittel dafür, mittels Formalismen mit Default-Mechanismen Systeme zu beschreiben, ...