美国有个集合论，我认为不行。它和逻辑有明显的分异。我们当然首先相信逻辑。问题是这样的
\[
a_n\leftarrow a_{n+1}\leftarrow a_{n+2}...
\]
那么有着一条吗
\[
a_n\leftarrow\bigvee_{i>n}a_i
\]
其实你证明不了。但集合论认为是。当然也许不是集合论的问题，而是证明方法的问题,其实集合是可以用逻辑严格定义的，这个很必要，否则无法推理，必须先用逻辑来驾驭它。逻辑当然也有它的优势，就是可列的表式即使是无穷项，也有定义。这一点集合没有。
--
修改:supproton FROM 117.155.183.*
FROM 117.155.183.*