Ouvrage mathématique en trois volumes publié par Russell et Whitehead (1910-1913), où se trouve exposée la théorie des types et qui est le point culminant de la tradition logiciste.