Mindig van nagyobb objektum? Feltételezhetünk végtelen+n számokat?

Gondolok itt olyan fokozásokra, mint univerzum->multiverzum, 3d tér-> 4d tér-> 5d tér-> nd tér, az idők során, mindig volt nagyobb, amit megtaláltak vagy kitaláltak. Lehetséges ez a számegyenesen is? Mindig is túl egyszerűnek tartottam azt, hogy a számegyenesnek nincs vége, de ha a végét mégis jelölni akarjuk, akkor leírunk egy végtelen jelet. Túl egyszerűnek érzem azt, hogy ezt lerendezték annyival, hogy a végtelen bármely művelettel való növelése csak végtelent ad. Nekem valahogy logikailag nem jön ki, hogy a végtelenek esetében a+a=a, a+a=2a helyett.