Discussion Catégorie:Logique mathématique

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

Si on constate ce qui est actuellement considéré comme faisant partie de la logique mathématique, je pense que devraient apparaître comme sous-catégories (toutes n'existent pas pour le moment) :

- théorie de la démonstration

- théorie des modèles

- calculabilité

- théorie des ensembles

- théorie des types

plus peut-être

- complexité

Je vais déjà ajouter calculabilité et théorie des ensembles. Proz 15 octobre 2006 à 23:15 (CEST)