可数无穷集相关论文
本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.......
文章对文[5]中引理2的证明中两个关键点作了进一步阐述,并揭示了引理2证明的理论根据实质上是集合论、映射和一一对应及数列的排列......
本文证明了一个集合论性质的引理,由它可直接得出GSdel不完全性定理的抽象形式.文中还述及该引理的有关诸推论.......