Re: how

On 6/10/2024 6:44 AM, WM wrote:

Le 09/06/2024 à 02:40, FromTheRafters a écrit :

Jim Burns laid this down on his screen :

 

A natural number can be
  definable and not defined.

>
But can you have a non-empty set of undefined natural numbers?

 ω/2, ω/3, ω/10, ... are dark because no FISONs are availableö.

[...]
Jsut having some fun...
[ 1/2, 2/2, 3/2, 4/2, ...]
[ .5, 1, 1.5, 2, ...]
refine:
[1, 2, ...]
false is not a real number
true is a real number
1/2 = .5 = false
2/2 = 1 = true
3/2 = 1.5 = false
4/2 = 2 = true
...
The evens are true? WM says this is dark?
Take all of the resulting natural numbers and make a set... ;^)
Crap, or really bad? What did I miss here?