\(\large\textbf{求直觉主义/构造主义的数学书}\)

elim

我收藏了一些介绍直觉主义数学哲学及直觉主义数理逻辑的书，
没有深入地去看，只有一点皮毛的了解。
非常好奇按照这种哲学和逻辑，可以搭建出怎样的数学。比如
微积分(标准分析)中有哪些定理在直觉主义数学中成立，又有哪
些定理概念不被直觉主义数学接受等等。

请高人指点.

elim

刚看到有人说直觉主义数学这样定义无穷集：
如果\(E\)到\(S\)的单射对任何有限集\(E\)均存在，则称\(S\)为无穷集．
我们知道在ZFC中无穷集可以被定义为能与某些真子集对等的集合．
由于直觉主义排斥选择公理(非构造性)，所以否定基数概念(两个集合之间
未必能构造映射), 这就有了无穷集定义的上述不同．
没有理由觉得这样就了解直觉主义的无穷集概念了．什么是直觉主义意义
上的集合？什么是直觉主义的有限？至少我还不甚了了．