Redko showed in 1967 that these equations had no finite axiomatization, for which John Horton Conway gave a shorter proof in 1971.
Redko 在 1967 年证明了这些等式没有有限公理化，約翰·何頓·康威在 1971 年对此给出更短的证明。