Si une déclaration n'est pas prouvable, une incohérence ou une contradiction peut se développer ou se développera qui invalidera le système.
L'examen de tout système doit-il se concentrer sur l'arrivée à ce stade ?