In der Mathematik ist es häufig erforderlich, neue Aussagen aus schon vorhandenen Aussagen zu gewinnen oder auch zu zeigen, dass sich eine bestimmte Aussage zwingend aus bereits als wahr erkannten Aussagen ergibt. Hierbei werden sogenannte Schlussregeln angewandt.