Wittgenstein : « Car qu'est-ce que cela signifie, dire que P et « P ne peut être prouvé » sont la même proposition ? Cela veut dire que ces deux phrases françaises ont une expression unique en tel-ou-tel système de notation »

(Wittgenstein 1978 : 119).