May be any numeric space can be set as an axiom

I guess that while we didn’t introduce any “physical” meaning to the symbols, the answer should be: yes, we are allowed to build system starting from “1+1=3”. By the way, axiom can’t be even true or false – it’s just a starting statement with respect to which we are characterizing other statements as true or false.