Pour rappel, vous me l’aviez agitée sous le nez comme argument d’autorité dans un débat sur le rapport de l’académie des sciences à propos du réchauffement climatique. Mais c’était bien un sophisme et vous venez de le confirmer, car la « formal proof » est un outil strictement mathématique. Pour le reste c’est « réfutable mais non réfuté » ou rien.