ABSTRACT

Paper 23 Consists of five previously unpublished manuscripts, 23a–e, which were late partial drafts of Principia Mathematica. The first three concern the theory of types, and the last two the development of pure mathematics within that theory.