Given any set, how to evaluate the cardinal of its power set? The above is known as continuun problem. In ZFC, initial ordinals can be taken to reprezent cardinal.