[andrewflnr]

Arithmetic still depends on which ring/field axioms you're using. :) I think you would have to agree, though, that axioms are a much more tractable kind of context than "a whole honking physical situation with atoms and entropy", which I think is the real kernel of the article.