Słownik pojęć matematycznych
Aksjomat Dedekinda
(aksjomat ciągłości zbioru liczb rzeczywistych) Aksjomat orzekający o ciągłości zbioru liczb rzeczywistych: jeżeli zbiór liczb rzeczywistych podzielimy na dwa niepuste podzbiory A i B, w taki sposób, że każda liczba należąca do zbioru A jest mniejsza od każdej liczby należącej do zbioru B, to istnieje taka liczba rzeczywista, która jest albo największa w zbiorze A, albo najmniejsza w zbiorze B. Aksjomat Dedekinda jest równoważny twierdzeniu mówiącemu, że każdy niepusty i ograniczony z góry (z dołu) podzbiór zbioru liczb rzeczywistych ma kres górny (dolny).