|
|
|
|
|
|
by ginnungagap
1028 days ago
|
|
|
> the system not being able to prove its own consistency doesn't mean that it being inconsistent! Another funny thing that can happen is that a system proves its own inconsistency, despite being consistent. The short summary is to never trust a system talking about its own consistency. |
|
|