Mengen und Einführung in die Logik

Zusammenfassung

Der Begriff der Menge ist ein grundlegender Begriff der Mathematik. Er dient dazu, Objekte zu einer neuen Einheit zusammenzufassen, so dass diese Einheit als Ganzes untersucht und weiterverwendet werden kann. Die Logik stellt sprachliche Mittel sowie formale Schlussweisen zur Verfügung, mit denen mathematische Begriffe definiert bzw. Eigenschaften mathematischer Begriffe und Verfahren als gültig und korrekt bewiesen werden können.