1938年,哥德尔证明了连续统假设和世界公认的策梅洛–弗伦克尔集合论公理系统的无矛盾性.1963年,美国数学家科亨证明连续假设和策梅洛–伦克尔集合论公理是彼此独立的.因此,连续统假设不能在策梅洛–弗伦克尔公理体系...