Итак, вот каково определение Дедекинда: соизмеримые числа могут быть бесконечным числом способов распределены на два