Beweistechniken, Modelltheorie, Berechenbarkeit, ZFC.
Mathematische Logik und Beweismethoden: direkter Beweis, Widerspruchsbeweis, vollständige Induktion. Die Sprache, in der Mathematik geschrieben wird.
