User blog comment:Edwin Shade/Understanding The Infinite/@comment-32213734-20171110225514/@comment-28606698-20171111152023

Definition of finitary Veblen function in wikipedia's article also was written by me but wikipedia's version was written later