Article,
La Théorie des Ensembles et la Théorie des Catégories: Présentation de Deux Sœurs Ennemies du Point de Vue de leurs Relations avec les Fondements des Mathématiques
Bolet\'ın de la Asociación Matemática Venezolana, 9 (1): 45--53 (2002)
Abstract
Qu'est-ce que les ” fondements des math ́matiques?” On peut distinguer trois
e
types de fondement.
Donner un fondement aux math ́matiques peut vouloir dire donner un groupe
e
d'axiomes ` partir desquels on peut d ́duire toutes les math ́matiques. C'est ce
a
e
e
que l'on peut appeler un fondement axiomatique des math ́matiques. Ce genre
e
d'approche a surtout ́t ́ d ́velopp ́ dans le cadre de la th ́orie des ensembles.
Tags
- 03e30-axiomatics-of-classical-set-theory-and-its-fragments
- 18-02-category-theory-research-exposition,
- 18a15-category-theory-foundations-relations-to-logic-and-deductive-systems
