User blog comment:Syst3ms/A formalization of Pi Notation as an ordinal notation/@comment-38807857-20190822090238

I don't understand.