¤      Es gibt offenbar eine Methode, ein gerades Lineal anzufertigen. Diese Methode schließt ein Ideal ein, ich meine, ein Näherungsverfahren mit unbegrenzter Möglichkeit, denn eben dieses Verfahren ist das Ideal.
     Oder vielmehr: Nur, wenn es ein Näherungsverfahren mit unbegrenzter Möglichkeit ist, kann (nicht muß) die Geometrie dieses Verfahrens die euklidische sein.