User blog comment:Edwin Shade/Negatively Indexed Epsilon Numbers/@comment-1605058-20171224230129/@comment-28606698-20171225170855

if ψ(0) is the smallest ordinal number which cannot be built from 0 using +,x,^ then it is 2