[giomasce]

Why should arithmetic be more or less context free than anything else? It's defined by axioms and definitions as much as the rest.