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

WAITIN FOR THE COMMENT OF SOME PGUY SAYIN ITS STILL ILL-DEFINED