Applications of Infinite combinatorics and forcing theory

科恩发现了强迫的方法，这使我们能够证明一些数学陈述不能用公理集合论ZFC来证明。在Cohen发现之后，作用力理论得到了如此深入的发展，因此已经证明了一些数学表述是独立于ZFC的。这项研究的目的是通过发展无限组合学和强迫理论来考察数学语句的独立性，包括ZFC之外的数学语句

Cohen discovered the methodof forcing, which enables us to show that some mathematical statements cannot proved from axiomatic set theory ZFC. After the Cohen’s discovery, the forcing theory has been developing so deeply, and so it has been shown that several mathematical statements are independent from ZFC. The aim of this research is the investigation of independence of mathematical statements which includes ones outside of ZFC by developing infinite combinatorics and forcing theory