• 2022-06-19
    1933年,哥德尔证明,把“连续统假设”加进该系统(集合论的ZF系统)中是:
    A: 独立的
    B: 完全的
    C: 相容的
    D: 以上全部不是