La logique et les fondements sont un sous-domaine des mathématiques axé principalement sur la théorie des ensembles et mettant également l'accent sur les applications de la logique aux mathématiques. Ils sont divisés en sous-domaines de la théorie des ensembles, de la théorie de la récursion, de la théorie des modèles, des grands cardinaux, de la théorie des structures fines et de la théorie de la preuve.
English 
Spanish 
Chinese 
Russian 
German 
Japanese 
Portuguese 
Hindi