je suis un peu (trop) curieux, et j'ai vu qu'il y avai un theoreme (le th d'imcomplétidude de Godel) qui dit que

"Dans n'importe quel système axiomatique consistant qui formalise l'arithmétique, on peut construire une proposition qui ne peut être ni prouvée ni réfutée dans ce système. De tels énoncés sont appelés indécidables du système. "

mais je ne comprend pas comment on peux construire une proposition de ce type, et comment on peux montrer qu'un certain proposition est indecidable dans un systeme donné. quelqu'un pourait-il me montrer un exemple?