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


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?