Pardon an ignorant question from a non-mathematician who loves Godel:

Can you have a formal system of arithmetic whose statements are independent of natural language (i.e. are independent of the quirks, ambiguities, paradoxes, etc. to which natural languages are subject)?