Девятое по счету дедекиндово число обнаружили математики из Германии и Бельгии, сообщает ScienceAlert. — Общественная служба новостей.