Utilisateur:Clem23/le CU est formel

Un article de Wikipédia, l'encyclopédie libre.

Cette page vise à élaborer un texte clair (et court) visant à expliquer ce que le CU peut faire et ne peut pas faire, en soulignant le fait que le CU n'est pas et ne doit pas devenir une preuve formelle.

[modifier] Que peut faire le CU?

Explicitation du rôle et des possibilités du CU, sans dévoiler d'éléments permettant de le contourner (à discuter par les CU actuels et anciens pour les éléments à ne pas révéler).

[modifier] Le CU a dit que ...

Petite série de contre-exemples

[modifier] Mais, euh, comment on fait si le CU y sait pas alors?

Topo général (pas trop de détails please...)