Ramsey showed that the axiom of reducibility could be replaced by treating propositional functions e...