ABSTRACT
There are two problems that arise in the precise treatment which need spe cial comment. The first is that it is necessary to have an expression {LI/?} existing even before we have proved that it is a number. The second concerns the fact that equality is a defined relation, which must initially be distin guished from identity.