Retour au sujet

Avatar de Lykke Lykke
Citation de Louable
Explique les inconnues

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.