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 pulisse on Tuesday April 23, 2024 @11:24AM (#40132991)
The system isn't being used to prove its own consistency. The consistency is proved in a different, stronger system.
[ Parent | on HN ]

There are no comments on this comment yet.