User blog comment:Wythagoras/All my stuff/@comment-10429372-20130715145943/@comment-5150073-20130715165746

Is the smallest undefinable ordinal even exists?