さらにいうと、Zermeloのnはシングルトンでなくてもいい
n-1を最大元とする自然数の有限集合ならなんでもいい