Bác Hồ có bao nhiêu tên gọi, bí danh và bút danh
Trên trang web Đảng cộng sản có bài viết "Sưu tầm tên gọi, bí danh và bút danh của Chủ tịch Hồ Chí Minh qua các thời kỳ" có ghi Trần Dân Tiên là bút danh của ông.