En logique mathématique, l’astuce de Rosser permet de démontrer un énoncé renforcé du premier théorème d'incomplétude de Gödel vu comme résultat d'indécidabilité, appelé parfois théorème de Gödel-Rosser, en l'étendant à des théories cohérentes qui ne sont pas forcément ω-cohérentes. Wikipedia