What is the real name of Pele?

The real first name of Pele is Edson. However, the name written on his birth certificate is Edison. His full name is Edson Arantes do Nascimento.