Ist 1=1immer wahr?

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.

Oh, ich wollte auf die Frage antworten und keinen Kommentar auf deine Antwort schreiben.