算术作文段落(1篇)
  • 1200字以上 高中 叙事
    1.连续统假设1874年,康托猜测在可列集基数和实数基数之间没有别的基数,这就是着名的连续统假设。1938年,哥德尔证明了连续统假设和世界公认的策梅洛–弗伦克尔集合论公理系统的无矛盾性。1963年,美国数学家科亨证明连续假设和策梅洛–伦克尔集合论公理是彼此独立的。因此,连续统假设不能在策梅洛–弗伦克