A quelle condition un jugement a-t-il une raison - c'est-à-dire est-il démontrable ?.
En sortant de la méta-arithmétique pour nous ramener à des termes courants, cette proposition signifie que la formule portant le nombre de Gödel z n’est pas démontrable.