User blog comment:TySkyo/Super-duperplex/@comment-29014792-20160805150230/@comment-24920136-20161120004453

3 things:

somewhat naive, as it ignores the inner workings of what makes it big, except for changing first to nth order set theory

not quite well defined, that "the smallest..." thing was a way agustin rayo explained it to be layman understandable, but the actual definition is his truth encoding formula set

Very weak, as you have already tested, setting something to f_0(0) is ordinal multiplication