Em lucas, a partir de 1,26, narra-se a anunciação do anjo Gabriel a uma virgem "desposada com um varão chamado José". Nesse texto, no versículo 27, Lucas diz: "e o nome da virgem era Maria". Portanto nenhuma dúvida.

Provavelmente a pergunta tem um contexto típico brasileiro, que podemos imaginar. Convivemos com cristãos que falam em "Nossa Senhora", "Aparecida", "Virgem de Fátima" e tantos outros apelativos. Todos são nomes dados à Maria, a mãe de Cristo. Esses nomes nascem da estima do povo por ela. É assim que normalmente se tratam as pessoas queridas, dando "apelidos". Isso acontece nas nossas famílias, por exemplo quando o marido chama a esposa com qualquer nome íntimo ou vice versa.