In diesem Buch geht es zunächst um den sprachlichen Aspekt der Mathematik. In der Mathematischen Logik werden formale Sprachen verwendet, die ein Maximum an Präzision bieten, aber eher unanschaulich sind. Mit der Mengensprache hat sich ein Werkzeug herausgebildet, welches ebenso präzise ist wie die Sprache der Logik, ohne dass dabei auf Anschaulichkeit verzichtet werden muss. Die meisten mathemati...