Repère les entités nommées présentes dans le texte suivant : Une réponse négative est apportée en 1930 par Gödel qui , au congrès international des mathématiques de Königsberg , annonce son premier théorème d ' incomplétude : dans n ' importe quelle théorie récursivement axiomatisable , cohérente et capable de « formaliser l ' arithmétique » , on peut construire un énoncé arithmétique qui ne peut être ni prouvé ni réfuté dans cette théorie .
O, O, O, O, O, O, O, O, B-PER, O, O, O, O, O, O, O, O, B-LOC, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O