User blog comment:Ikosarakt1/Fast-growing hierarchy/@comment-5529393-20130619110333/@comment-5150073-20130619160339

Wait, it still doesn't works. We still can take alpha = omega+omega^2 and beta = omega, and expressions will be unproper. I figured that Cantor's form is really necessary.