Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern A1/4bertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben: Im vorliegenden Werk werden die Ergebnisse systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik erster Stufe. Die LektA1/4re setzt a " auAer einer gewissen Vertrautheit mit der mathematischen Denkweise a " keine spezifischen Kenntnisse voraus. In der vorliegenden 5. Auflage finden sich erstmals LAsungsskizzen zu den Aufgaben.