 This theorem is another indication of the way in which the philosophical basis of PM, with its propositional functions that are intensional is left behind as the mathematical content of PM is introduced with the definition of classes in the next sections.