Sauf que lorsqu’un axiome est indémontrable, on fait systématiquement référence à son existence pour montrer la limite du raisonnement. Par ailleurs, le raisonnement sur le même problème avec un axiome différent est une des bases des mathématiques modernes.
Mais pour savoir cela, il faut lever le nez de la bible.