英语翻译
1、if there is a mapping of the natural numbers onto a set u(not necessarily one-to-one),then u is either finite or countable.
2、the existential-universal implies the universal-existential but not vice versa; the universal-existential is equivalent to asserting the existence of a function from the domain of the universally quantified variable to the domain of the existentially quantified variable.