sentences:  Kuratowski published in 1951 the following result, which characterizes the infinite cardinals of the form formula_16.The theorem states the following.Let formula_3 be a positive integer and let formula_2 be a set.