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