View source for 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".

--[[User:Whayes43|Whayes43]] ([[User talk:Whayes43|talk]]) 17:15, 9 April 2014 (CEST)

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

Thank you! I appreciate your response. My hesitation to change this stemed from a feeling that a rather more adventurous change is required. In "Uber Sinn und Bedeutung," Frege introduced his theory of "sense and denotation." It seems to me that what we are talking about in this article is the ''sense'' of the term "arithmetization" (what it means or connotes) rather than its ''denotation'' (what it points to or denotes). However, I will just proceed as you suggest. Cheers! --[[User:Whayes43|Whayes43]] ([[User talk:Whayes43|talk]]) 15:48, 10 April 2014 (CEST)