Энциклопедический словарь, 1998 г.
хон дэен
ХОН ДЭЕН (1731-83) корейский ученый, представитель течения общественной мысли сирхакпха. Труды по математическим и естественно-научным проблемам.