Einige Grundstrukturen der Algebra

Wir beginnen jetzt mit dem systematischen Aufbau. Dabei gehen wir im wesentlichen axiomatisch vor, d. h. es werden jeweils gewisse Grundregeln vorgegeben und aus diesen Folgerungen gezogen. Auf diese Weise entstehen die verschiedenen Strukturen der Mathematik. Das Ziehen von Folgerungen, das Beweisen, geschieht auf rein logischem Wege. Die naive Anschauung ist dafür kein sicheres Fundament. Deshalb können intuitive Argumente in einem mathematischen Beweis keinen Platz haben, sie stellen jedoch oft ein wesentliches Hilfsmittel dar, um Beweisideen ausfindig zu machen.