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