, say; one containing two terms,
, say; one containing three,
, say; and so on. (We can do this if the multiplicative axiom is assumed; otherwise, we do not know whether we can always do it or not.) We have now a progression
,
,
, say; one containing two terms,
, say; one containing three,
, say; and so on. (We can do this if the multiplicative axiom is assumed; otherwise, we do not know whether we can always do it or not.) We have now a progression
,
,