Toute théorie ( contenant au moins les axiomes de l' arithmétique) contient au moins un théorème vrai mais indémontrable à partir des axiomes de la théorie en question