Selbstverständlich.
Es ist übrigens ein Axiom, dass etwas immer gleich sich selbst ist. Formal: ∀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.
