>>11008134One could think about how to formalize this conceptualisation, but I'm afraid the ordinal type approach is tricky due to it not being obvious what the smallest infinity is (10000000....?) or where the jumps are (you can't seem to enumerate them due to the infinite number of digit where every truncation give you a non-member)
