ist 1+1=2 ein Axiom?

Nein, ein Axiom ist das nicht.

Viel mehr ist das eine Definition der Zahl 2, nämlich der Nachfolger der 1.

Nach den Peano-Axiomen hat jede natürliche Zahl einen natürlichen Nachfolger und 2 ist eben der Nachfolger von 1.

Formal: 1' = 2

Denn per Definition gilt n' = n + 1 und somit gilt 1' = 1 + 1 = 2.

Vielleicht steht das Symbol 2 ja in anderen Galaxien für die Zahl 138, und da gilt 1 + 1 = 2 schon nicht mehr. ;)

Genauer: https://www.gutefrage.net/frage/ist-es-bewiesen-dass-11-2-ergibt

Nein, 1 ist das Einselement, mit sich selbst addiert ist es bei den ganzen Zahlen das nächstfolgende Element, nämlich 2, im Zahlenring, der nur aus dem Nullelement und dem Einselement besteht, ist 1+1=0.

Nein, so ist 2 definiert.