Дедекинда аксіома, одна з аксіом безперервності (див. Безперервності аксіоми ). Д. а. свідчить: якщо всі точки прямої розбиті на два непорожні класи, причому всі точки першого класу розташовані лівіше за всі крапки другого, то існує або найправіша точка першого класу, або найлівіша точка другого. Сформульована німецьким математиком Р. Дедекиндом (1872).
