Hi. Out of curiousity, I was wondering how one goes about proving simple statements such as 1+1=2. I don't know a lot about the set theoretic formulation of natural numbers; only, that 0=ø, eccetera. Could you please tell me how addition is defined using this formulation of N?