CIC + EM ⊢ Con(ZF)

1 points | by matt_d an hour ago