User blog comment:Scorcher007/Biggest ordinal's table/@comment-32213734-20180529083234/@comment-31580368-20180531072111

Thanks for link about higher-order function. I already imagine the whole volume of corrections and additions, a big essay should be made. If interested, I can show my draught, according to the ideas that I plan to add and fix (in Russian):  http://lihachevss.ru/meas.html