Talk:Arithmetization

May I suggest a (perhaps trivial) non-technical adjustment to the final paragraph? Here's the paragraph:

The term "arithmetization" (in the phrase "arithmetization of analysis" ) is also used in the literature on the foundations of mathematics for the denotation of the creation of the theory of real numbers in the 19th century using set-theoretic constructions, starting from the natural numbers.

I suggest changing "for the denotation of" -- seems (to me) somewhat of a circumlocution -- "to denote".

--Whayes43 (talk) 17:15, 9 April 2014 (CEST)

Well, just do it, why not. Boris Tsirelson (talk) 21:55, 9 April 2014 (CEST)