集合元素个数 表示

问题描述:

集合元素个数 表示
对于n个自然数组成的集合,可以这样表示吗?
X={x|x属于自然数,|X|=n}

分出公理来定义集合,必须是已知一集合B,可定义A={x属于B:f(x)},则A为集合,其中f(x)为一阶命题,只含x.