To put it informally, the new theory may possibly be more convenient for proving theorems, but it proves no new theorems about the language of the old theory. ###>Informellement, cela veut dire que la nouvelle théorie peut éventuellement être plus commode pour prouver des théorèmes, mais qu’elle ne prouve pas de théorème nouveau concernant l'ancienne théorie.