Qu'est ce qu'un nombre dans ZF ? 🌶🌶

Описание к видео Qu'est ce qu'un nombre dans ZF ? 🌶🌶

La théorie ZFC est le socle des mathématiques standards. Dans cette vidéo, je vous montre comment les nombres s'inscrivent dans cette théorie (en fait les constructions présentées ici ne reposent que sur la théorie Z de Zermelo).

L'infini et les fondations mathématiques | Science4All
   • L'infini et les fondations mathématiques  

1+1=2 (en arithmétique de Peano) | Infini 13
   • 1+1=2 (en arithmétique de Peano) | In...  

La diagonale dévastatrice de Cantor | Infini 16
   • La diagonale dévastatrice de Cantor |...  

Les théorèmes d'incomplétude de Gödel | Infini 18
   • Les théorèmes d'incomplétude de Gödel...  

Les "mathématiques modernes" de Bourbaki | Infini 19
   • Les "mathématiques modernes" de Bourb...  

Комментарии

Информация по комментариям в разработке