It's an axiom. We are talking specifically about 2+2=4 being trivial because it falls out of the axioms. https://en.wikipedia.org/wiki/Peano_axioms https://en.

It's an axiom. We are talking specifically about 2+2=4 being trivial because it falls out of the axioms. https://en.wikipedia.org/wiki/Peano_axioms https://en.wikipedia.org/wiki/Peano_axioms