多个载体的例子有代数. pcf = 〈 , , 0, 1, …, +, true, false, Eq ?, …〉 其中 是自然数集合， 是布尔值集合，0, 1, …是自然数，+是加法函数等等。
確定！ 回上一頁
