User blog comment:CatIsFluffy/Introduction to OCFs/@comment-35470197-20190915233241/@comment-35470197-20190916084455

Then what does "Mahlo limit" precisely mean? I sometimes heard that terminology, but I have never heard the precise definition. Does it just mean "a Mahlo cardinal which is a limit of Mahlo cardinals", according to your explanation? Then it makes sense, but I think that it is not good to use this ambiguous terminology without specific definitions...