Cher karlp,
Les deux premiers types sont normaux, la nécessité de démontrer un axiome à l'intérieur de la théorie dont il est un axiome n'étant pas franchement établie, même la deuxième est normale, quant à la troisième, la réaction que vous décrivez me fait penser à la réaction d'un croyant face à un blasphème (et du coup j'ai envie d'ajouter : QED)
-----