In Mathematik und Logik ist eine Konsequenz oder Folgerung ( lateinisch spät corollarĭum ) eine Aussage, die aus einer bereits demonstrierten Wahrheit abgeleitet wird. Kurz gesagt, dies ist eine offensichtliche Konsequenz, für die kein Beweis erforderlich ist.