用普通量詞定義. 計數量詞可以根據常規量詞遞歸地定義。 讓我∃ = k {\displaystyle \存在^{=k}} 意思是“精確地存在” k {\displaystyle k} “。 在那之後∃ = 0 X P。 X ...
確定! 回上一頁