> 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 i

> 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.