The lack of axiom in the past led to the star height problem.
过去公理化的缺乏导致了星号高度问题。