Date: Sep 23, 2017 7:24 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).