 A different formulation of the paradox replaces the set of conditional premises with a universal generalization and proceeds by mathematical induction. Let ‘n’ be a variable ranging over the natural numbers and let ‘\(\forall n(\ldots n\ldots)\)’ assert that every number n satisfies the condition ...n.... Further, let us represent the claim ‘For any \(n\), if \(\alpha_n\) is \(\Phi\) then \(\alpha_{n+1}\) is \(\Phi\)’ as ‘\(\forall n (\Phi\alpha_n \rightarrow \Phi\alpha_{n+1})\)’. 