一阶逻辑与集合论

(整期优先)网络出版时间:2004-04-14
/ 1
一阶逻辑理论与集合论是两种不同的理论,但两者的理论结构有很多相同之处,将这两种理论进行了比较,分析了它们之间的一致性.