Selbstverständlich.
Es ist übrigens ein Axiom, dass etwas immer gleich sich selbst ist. Formal: \(\forall x (x = x)\). (Die exakte Formulierung könnte natürlich in anderen Axiomensystemen anders sein, der Kern bleict aber immer gleich.) Daraus lässt sich jetzt durch einfache Einsetzung für \(x\) ableiten, dass \(1 = 1\) gilt.
