User blog comment:Vel!/Ellipsis considered harmful/@comment-2607:FB90:44B0:4884:1C68:12D2:41D7:9B5D-20171231210932/@comment-80.98.179.160-20180105121223

By the fact the Church-Kleene ordinal is countable.