If induction is recoverable predicatively in these alternative frameworks, Russell's Appendix B aim ...