The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
抽象的目的不是含糊不清,而是创建一个新的语义层次,在这个层次上可以绝对精确。
过去从未死去。它甚至不是过去。
每一个超限的一致多重性,即每一个超限集合,必须有一个确定的阿列夫作为其基数。