Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique. La théorie des ensembles, développée au XIXe et au XXe siècle, est en particulier ...
En mathématiques, la théorie des ensembles de Morse–Kelley est une théorie axiomatique du premier ordre dont les objets sont des classes ; contrairement à celle de Von Neumann-Bernays-Gödel, c'est une ...