There is no such axiomatization. This is proven by Thierry Coquand in [a remark about the theory of local rings][1].


  [1]: http://www.cse.chalmers.se/~coquand/local.pdf