Constructive Transfinite Number Classes | AMiner