Tên thật của Đinh Tiên Hoàng là gì
Trần Trọng Kim trong sách Việt Nam sử lược cho biết " có sách " nói Đinh Tiên Hoàng tên thật là Đinh Hoàn , " Bộ Lĩnh " là tước quan Trần Lãm phong cho Đinh Hoàn nhưng do Khâm định Việt sử thông giám cương mục và các sách khác đều nói Đinh Tiên Hoàng tên thật là Đinh Bộ Lĩnh nên ông không dùng tên Đinh Hoàn để gọi Đinh Tiên Hoàng .