Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen