Hackernews
new
show
ask
jobs
CIC + EM ⊢ Con(ZF)
1 points
posted 8 hours ago
by matt_d
(arxiv.org)
No comments yet