First, Richman defines a nonnegative decimal number to be a literal decimal expansion.
Πρώτον,ο Richman ορίζει ένα μη αρνητικό δεκαδικό αριθμό ως μια κυριολεκτική δεκαδική επέκταση .