"If equals are added to equals, the wholes are equal"—is an—

This is one of Euclid's axioms (common notions) — a universally accepted truth assumed without proof. Such statements about equals apply generally, distinguishing them from geometry-specific postulates.