Les théorèmes de l'incomplétude de GÃ del sont deux thÃ ¨ mes de la logique mathÃ © matique qui établissent les limites inhérentes de tous les systÃ ¨ mes axiomatiques les plus triviaux pour les mathÃ © matiques.
Les thÃ ¨ mes incomplÃ © mentaires de GÃ del sont le nom donnÃ © Ã deux thÃ ¨ mes, qui ont Ã © tÃ © prouvÃ © s par Kurt GÃ del en 1931.