News for hackers. Stuff that matters.

A comment on New Foundations is consistent – a difficult mathematical proof proved using Lean. Parent comment

Re:New Foundations is consistent – a difficult mathematical ... by francasso on Tuesday April 23, 2024 @12:06PM (#40133550)
You should take this proof as saying: if Lean 4 is consistent then New Foundations is consistent. There is no contradiction of Godel's incompleteness theorem.
[ Parent | on HN ]

There are no comments on this comment yet.