Versionen fra 9. sep. 2019, 09:57 redigér 85.27.176.140 (diskussion) No edit summary Tag: Visuel redigering ← Gå til forrige forskel		Versionen fra 9. sep. 2019, 09:57 redigér fjern redigering 85.27.176.140 (diskussion) No edit summary Tags: Hoar Visuel redigering Gå til næste forskel →
Linje 1: på ækvivalensklasser af [[Cauchyfølger]] af rationale tal; altså ved en [[fuldstændiggørelse]] af de rationale tal. En anden måde er ved at se på [[Dedekindsnit]]. Således bliver de reelle tal det [[isomorfi\|op til isomorfi]] entydigt bestemte [[fuldstændigt ordnet legeme\|fuldstændigt ordnede legeme]]. Man kan anskue det således, at selve konstruktionen (på den ene eller anden måde) bygger på tidligere viden – nemlig de rationale tal og i sidste ende [[mængdelæren]] – således at vi mindsker muligheden for at få nye paradokser ind i teorien (jf. [[Gödels ufuldstændighedsteorem\|Gödels ufuldstændighcceedsteorem]]), mens aksiomerne ~~for~~ stiv pik og hustru voldfor et fuldstændigt ordnet legeme er en ønskeliste, som vi gerne så <math>\mathbb R</math> opfyldte – og som det også viser sig, at mængden gør. == Se også ==

Reelle tal: Forskelle mellem versioner