This talk presents a particular view on potential infinity that builds essentially on a generative process, taken seriously as the foundation for which arithmetics are justifiable. We also present correspondences to modal logics, showing what kinds of modal arithmetics arise under this constrained perspective on potential infinity.