设有一个自然数集映射到一个集合U(不必是一一对映的)上,那么U要么是有限的,或者是可数的.
existential-universal的意思是universal-existential而不是相反,universal-existential等价于存在函数,其值域从universally quantified variable到existentially quantified variable
数学翻译啊,那几个专有名词不清楚对应哪个.
设有一个自然数集映射到一个集合U(不必是一一对映的)上,那么U要么是有限的,或者是可数的.
existential-universal的意思是universal-existential而不是相反,universal-existential等价于存在函数,其值域从universally quantified variable到existentially quantified variable
数学翻译啊,那几个专有名词不清楚对应哪个.