selbstverständlich baut die Mathematik auf Axiomen auf, die nicht bewiesen werden können, jedoch meist zunächst der Intuition entsprechen. Die Gleichung 1+1=2 folgt unmittelbar aus der naheliegenden Definition der Zahl 2: Sie ist der Nachfolger der Zahl 1. (Die sog. Peano-Axiome garantieren die Existenz und Eindeutigkeit der betrachteten Zahlen).