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.