Recent content by rafasaur

I've looked around but haven't found anyway to prove 2+2=4. I'm pretty sure you need to use field axioms, but I just haven't found it yet. Is there a way to do it? Like showing a+a=2a? Or a+b=c? Like 1+1=2. Something like that. Thanks!