There is no such axiomatization. This is proven by Thierry Coquand in a remark about the theory of local rings.
Martin Brandenburg
- 63.1k
- 12
- 207
- 424