Definiere auf der in Fakt konstruierten Menge Q {\displaystyle {}\mathbb {Q} } eine totale Ordnung, die Q {\displaystyle {}\mathbb {Q} } zu einem angeordneten Körper macht.
