Archimedisch angeordneter Körper/Dezimalbruchfolge/Konvergenzformulierung/Fakt/Name