Inom matematisk logik säger Cantor-Dedekinds axiom att de reella talen är ordnings-isomorfa med punkterna på en linje. Det vill säga att mot varje punkt på linjen korresponderar ett och endast ett reellt tal och mot varje reellt tal korresponderar en och endast en punkt.Bruce Elwyn Meserve, 1953, Fundamental Concepts of Algebra , sid. 32. .Eric Weisstein, Cantor-Dedekind axiom på Wolfram Mathworld. Axiomet är uppkallat efter Georg Cantor och Richard Dedekind.
Detta axiom är en hörnsten inom analytisk geometri och speciellt förutsätts det vara giltigt för ett kartesiskt koordinatsystem.Eldar Straume, 2014, A Survey of the Development of Geometry up to 1870, sid. 10.
Se även Kardinaltal Dedekindsnitt
Referenser
Kategori:Reella tal Kategori:Analytisk geometri