APP 二階邏輯和抽象符的使用對(duì)于提供樸素集合論(na&xEF;ve set theory)的一種說(shuō)明絕不是必要的。弗雷格演算的一階版本通過(guò)把∈看作該語(yǔ)言中的原始概念獲得,保持了外延性原則,把外延定律或樸素概括原則限制到通過(guò)(可能具有參數(shù)的)一階 （本文共 469 字 ） [閱讀本文] >>
海量資源，盡在掌握
二階邏輯和抽象符的使用對(duì)于提供樸素集合論(na&xEF;ve set theory)的一種說(shuō)明絕不是必要的。弗雷格演算的一階版本通過(guò)把∈看作該語(yǔ)言中的原始概念獲得,保持了外延性原則,把外延定律或樸素概括原則限制到通過(guò)(可能具有參數(shù)的)一階 （本文共 469 字 ） [閱讀本文] >>
開(kāi)通會(huì)員，享受整站包年服務(wù)
說(shuō)明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請(qǐng)點(diǎn)擊申訴舉報(bào)