Now, Russell says in the introduction to the second edition of Principia: The most definite improvement resulting from work in mathematical logic during the past fourteen years is the substitution, in Part