finiteness problem

[ریاضیات] مسأله ی با پایان بودن