Le théome de Gödel et ses non-interprétations
Article de Yann Ollivier exposant plusieurs manières précises d'énoncer le théorème d'incomplétude, sa démonstration et ses interprétations possibles.