[2017-11-30]
Continuum hypothesis [2015-08-26]
depenedent sum [2017-11-30]
Continuum hypothesisGodel: proved that ZFC + CH is consistnent
Cohen: proved that ZFC + ~CH is consistnent (actually, any intermediate number of infinities)
[2015-08-26]
depenedent sumSum (a : A) (B(A)) = {(a, b) | a β A, b β B(a)}
Exists (a : A) (B(A)) = || Sum a B ||
x1 β y2
y2 β x1: forbidden!
x1 β x2: forbidden!
System NF?
Rendering context...