User blog comment:Pellucidar12/Peng-Pellucid-Armstrong Number/@comment-29915175-20170102011204/@comment-5529393-20170102234126

AFAIK even the language of ZFC has more than one variant. Then you will need to specify how the axioms and rules of inference will be specified, and how that will affect the character count. So you do need to specify exactly how the proofs will be written. I don't think it will be terribly hard, it's just something you have to do.

As far as putting an article on the wiki, there are two rules you need to be aware of:

1. Any article needs to be sourced, and the source cannot be the Googology Wiki itself. So you have to publish the number on some other site.

2. You cannot write the article for your own number/notation. So just get someone else to put up the article.