世宗特別自治市(セジョン特別自治市)の名前は世宗大王にちなんでいる。