User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-31040770-20200107090028/@comment-35470197-20200107090801

Thank you. I am trying to correct articles including unspecified OCFs in order to make statements clearer. Then I find that even OCFs without Mahlos are dealt with in an ambiguous manner. I think that there are few people who actually know the definition of at least one ordinal notation associated to an OCF (which does not need to include inaccessibles). It is problematic, because we actually need explicit ordinal notations when we analyse notations using OCFs.