Juste pour test de logique : évidement Dieu peut fournir une réalisation explicite de Banach-Tarsky. Cela est cohérent avec le fait qu'il implique l'axiome du choix.

Y'a pas un truc en math dont l'existence est assurée par la *négation* du choix ? Dans ce cas, vu qu'il y a de fortes chances que Dieu parvienne quand même à le réaliser, on aurait prouvé l'inconsistence logique de Dieu, et on aurait clos un débat millénaire.