Ce sujet a été résolu
Comment ça il bouffe dans la litière ??
J'ai pas compris ce passage non plus
Arrêt non desservi
il y a 14 jours
J'ai pas compris ce passage non plus
il y a 14 jours
Tu veux qu'on cause de l'infini un peu ?
Tu connais l'ordinal de Feferman-Schutte ?

Tu connais l'ordinal de Feferman-Schutte ?

Un peu trop facile, perso j'utilise surtout les systèmes type Martin-Löf qui permet d'aller plus loin en terme de prédicativité
il y a 14 jours
Wtf
il y a 14 jours