User blog comment:Pellucidar12/Peng-Pellucid-Armstrong Number/@comment-29915175-20170102011204/@comment-1605058-20170106204914

NBG is finitely axiomatizable, so that should work too.