Date: Sep 23, 2017 6:58 AM
Author: Me
Subject: Re: 0 = 1

On Saturday, September 23, 2017 at 2:50:08 AM UTC+2, Conway wrote:

> numbers represent existence... Especially, if =/= 0.

Actually, Ex(x e M) <-> card(M) =/= 0.

On the other hand, even if we only have

phi(0)

for some "property" phi, we may conclude from this

Ex(phi(x)).

=> Something exists (namely the number 0).