User blog comment:Pellucidar12/Peng-Pellucid-Armstrong Number/@comment-29915175-20170102011204/@comment-32.214.128.232-20170105224955

What if we use NBG instead of ZFC?