历史上真有张三丰这个人吗

历史上有张三丰这个人。根据不同的史料记载，张三丰是明朝初年的一位道家传奇人物。他的真实名字叫张全一，也叫张君宝，被神化为张三丰。