Russell's type hierarchy requires the axiom of reducibility, which Ramsey and Wittgenstein argued is...