New Foundations is consistent – a difficult mathematical proof proved using Lean
submitted by /u/ketralnis
[link] [comments]
Related Articles