La principal motivación para esta obra provenía del trabajo anterior de Gottlob Frege en lógica que contenía inconsistencias (en particular la paradoja de Russell).