2+2 =4

Yes, correct in standard arithmetic.

If you want a quick justification: using Peano axioms,

• 2 = S(S(0)), 4 = S(S(S(S(0))))
• 2 + 2 = S(S(0)) + S(S(0)) = S(S(S(S(0)))) = 4

Or simply, two items plus two items equals four items.

Want to practice more problems or see how addition is defined in other contexts (e.g., modulo arithmetic, different bases, etc.)?