Leate_Wonceslace, 9 months ago Fred. (∀x:Number(x)=T)(Name(x)=“Fred”) I name every number Fred.
Fred.
(∀x:Number(x)=T)(Name(x)=“Fred”)
I name every number Fred.