CIC + EM ⊢ Con(ZF)
Posted 2 hours ago by
matt_d
1
points
https://arxiv.org/abs/2609.23143
0
comments