《神秘博士》（Doctor Who）是一部英国BBC出品的科幻电视剧，其主角“博士”（The Doctor）的真实姓名在剧集中从未被透露。虽然有一些角色和事件提到了博士的名字，但这些名字并不被认为是他的真实身份。例如，在剧集中有提及到“John Smith”这个名字，但这仅是博士在某个特定故事中的化名。
根据官方设定和剧集内容，博士的真实姓名是一个谜，没有被正式揭露。因此，关于《神秘博士》主角的真实姓名，我们无法给出一个确切的答案。
其他小伙伴的相似问题：
神秘博士的主角为什么一直未透露真名？
神秘博士中John Smith只是博士的化名吗？
神秘博士其他角色的真名有哪些？
