Propositional functions and universals inPrincipia Mathematica · Study