Its theoretical pillars are the theory of matter-element and the theory of extension set.
其理论支柱是物元理论和可拓集合。
The extension set is one of the three mainstays of extension theory.
可拓集合是可拓论的三大支柱之一。
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
应用推荐