量词的范围总是必须指定,但是对于给定的数学理论,可以用多种方式来做: 为每个量词假定一个固定的论域,比如Zermelo Fraenkel集合论, 预先固定多个论域并要求每个变量有 ...
確定! 回上一頁