科林尔斯

-generated

-生成

的理论

，

存在

存在、

和句子

。此外，由于

；通过足够大的序数

）。假设

，如下所示：

-

。因此，我们的

，或者仅称为

生成的当且仅当有N

，因此粗体

生成的

，并将

-在

）

抽象代数

数学