Citation de Lykke
Voilà mon gars :
En toute généralité la résolution d'un problème en mathématique est relative au cadre axiomatique dans lequel on se place. Pour exemples on peut prouver plus en logique classique qu'en logique intuitionniste et aussi plus dans la théorie des ensembles usuelle que dans la théorie arithmétique.

u = ...
v = ...
g = ...

La devinette est bien plus simple, il suffit de trois variable défini, comme montré sur mon schéma