In summary: The interplay of meaning and axiomatic machine mathematics, captured by the difference between $\models$ and $\vdash$, is a subtle and interesting thing.
The Christian Century: In Search of Truth: The Bible and Mary Magdalene (S2E1)
The Bible’s answer Mary Magdalene was a faithful follower of Jesus Christ. Her name, Magdalene, likely came from the town of Magdala (possibly Magadan), which was near the Sea of Galilee. Mary may have once lived there. Mary Magdalene was one of several women who traveled with Jesus and his disciples and gave them material support.
The faithful woman Mary Magdalene was one of the first disciples to see the resurrected Jesus. She was privileged to share this good news with others.
Mary Magdalene and other women find Jesus’ tomb empty. Mary leaves, and an angel confirms that Jesus is alive. How do the disciples respond to the report?
Mary Magdalene Who was Mary Magdalene? She was a loyal disciple of Jesus. What did she do? Mary Magdalene was one of several women who traveled with Jesus and his disciples. She generously used her own funds to help care for their needs. (Luke 8:1-3) She followed Jesus till the end of his ministry, and she remained close by when he was executed.
12 As may have been the case with Mary Magdalene, many today struggle with feelings of rejection. Lidia, a sister from Spain, says that before she was born, her mother was thinking of getting an abortion.
Mary Magdalene and Mary the mother of James the Less may have been helping with the preparation of Jesus’ body. They now hurry home “to prepare spices and perfumed oils” to treat Jesus’ body further after the Sabbath.