Editing Arithmetization of analysis (section)

==History==
[[Leopold Kronecker|Kronecker]] originally introduced the term ''arithmetization of analysis'', by which he meant its constructivization in the context of the [[natural number]]s (see quotation at bottom of page).  The meaning of the term later shifted to signify the [[set theory|set-theoretic]] construction of the [[real line]].  Its main proponent was [[Karl Weierstrass|Weierstrass]], who argued the geometric foundations of [[calculus]] were not solid enough for [[mathematical rigour|rigorous]] work.