User blog:Pellucidar12/Peng-Pellucid-Armstrong Number

Can this be an official number on the wiki, with an article? It is named after LittlePeng9, me, and my friend, since we all helped come up with it. First we define the PPA Function as:

"T he largest number defined by a formula   φ, such that ZFC proves  φ  defines a unique number with a proof of length n"

 Then the number is defined as PPA(Googolcentiplex)(Googolcentiplex), i.e. PPA of Googolcentiplex iterated Googolcentiplex times.

This number should be bigger than Fish Number 4 and possibly bigger than Xi(1,000,000), but smaller than Rayo's Number.

.