Date: Jun 19, 2013 5:11 AM
Author: David Petry
Subject: Re: Joel David Hamkins on definable real numbers in analysis
On Tuesday, June 18, 2013 7:26:58 PM UTC-7, fom wrote:

> Joel David Hamkins answer to the question in

> this link seems relevant to some of the discussions

> that have been in various threads recently

> http://mathoverflow.net/questions/44102/is-the-analysis-as-taught-in-universities-in-fact-the-analysis-of-definable-numbe/44129#44129

That link includes the following quote:

"...the concept of definability is a second-order concept, that only makes sense from an outside-the-universe perspective"

I think Mueckenheim would tell us that the phrase "an outside-the-universe perspective" would only make sense to a math-theologian.

Is he not right?