Aus den Extensionen könnte ich nie herauskriegen, ob die verschiedenen reellen Zahlen nicht bloß um einen rationalen Betrag von einander verschieden sind.