Phénomène d'Incomplétude

L'occurrence générale, dans les systèmes formels suffisamment expressifs, de l'existence d'énoncés vrais sur les structures visées qui ne sont pas démontrables au sein de ces systèmes ; englobe des résultats comme les théorèmes d'incomplétude de Gödel et d'autres limites de la formalisation.