Eine reelle Zahl liefert Extensionen, sie ist
keine Extension.
     Die reelle Zahl ist: ein arithmetisches Gesetz, welches endlos die Stellen eines Dezimalbruchs liefert.