i thoguth there are two types of infinities:

by there being no bigger number (classic logic infinity?)

and by 'construction' which boils down to cycles in graphs. even two nodes bouncing can do so forever. so then "bigger infinities" would mean that there are more nodes in the cycle.

i suppose this gets more and more interesting when adding geometry (which involves a basic logic), and then having cycles within cycles.