Tag Transfinite arithmetic