Les affirmations sur la complexité sont souvent indécidables. D'où l'idée d'en utiliser comme axiomes pour limiter la désagréable incomplétude de toute théorie mathématique, découverte par Kurt Gödel il y a 80 ans.