每一个超限的一致多重性,即每一个超限集合,必须有一个确定的阿列夫作为其基数。
The most important single aspect of software development is to be clear about what you are trying to build.