Au sujet du th. de Gödel, c'est ton correspondant qui a tort : une théorie cohérente peut tout à fait démontrer un énoncé exprimant sa propre noncohérence, c'est une conséquence très simple du second th. d'incomplétude (je ne compte pas en lignes, mais 9 me parait beaucoup pour justifier ceci), mais ce sont des choses auxquelles il est tellement inhabituel de penser que l'on se trompe facilement. Comme il est un peu du métier sembletil, peutêtre confondil les hypothèses du premier et du second théorème ?