NON! C'est vrai dans l'interprétation , mais ce n'est pas un théorème du système formel (c'est-à-dire que nous savons bien que c'est vrai, mais que ça ne peut pas être démontré)! Nous n'avons pas écrit, et encore moins programmé :