Étant donné un système logico-déductif non contradictoire, on ne peut pas formaliser sa cohérence de l’intérieur mais on peut formuler une proposition du type « la présente proposition est indémontrable ». », en même temps exactement que je lisais ces derniers mots, une femme près de moi dit : « il n’y a vraiment pas un nuage aujourd’hui ».