CIC + EM ⊢ Con(ZF)

(arxiv.org)

1 points | by matt_d 8 hours ago ago