To avoid redundancies I put some of the more often used abbreviations and the, mostly mathematical, definitions here.
Define and to construct finite sets whose cardinalities build the set of the naturals numbers .
is not a number. Nevertheless it gets used here in limits like or . It is invisible in the latter example. Twice.
is the set of infinite integers. Not used here.