Problem solving
关于超运算的一个未解决问题是超运算等级formula_53是否能推广到formula_54甚至formula_55，以及formula_56是否能成为一个拟群。