Y solo fue hasta después de haber sido formalmente registrado como Taekwondo en el año 1955, por el General Choi que esta disciplina tuvo un nombre común.