2+2=4...?

I'm asking in all seriousness, but what level/area of mathematics is needed prove simple statements like 2+2=4 and what not? Can it be proved with elementary math, or do you have to get into axioms and other crazy shit?

Any powerfull formal system with arithmetic axioms. See Calculus of Inductive Constructions : http://coq.inria.fr