Counting creates a finite bijection with a canonical set, an initial segment of , but you could use any collection of finite sets of known cardinality.
確定! 回上一頁