User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-11227630-20191219030804

Rathjen's OCFs, Stegert's OCFs, Arai's OCF, and so on, contain extra complication that does not affect their strength, such as some Ωγ. They aimed for ordinal analysis and formal theories, not googology. Googology need simpleness.