Aucun pape légitime n'a choisi de prendre Michael comme nom papal. La seule raison pour laquelle ce n'est pas le cas serait simplement qu'aucun pape n'a choisi de le faire.

Mais le nom de Michel n'est pas totalement inconnu dans l'histoire de la papauté. Le nom de naissance d'Innocent XIII était "Michelangelo" (Michel l'Ange), et il existe actuellement un antipape qui se fait appeler Pape Michel.