>>13047553Assuming the system is consistent, he proved that the consistency cannot be proven.
It is possible that the system is inconsistent, and it's provable that it is consistent. But... it's meaningless to think about this or talk about this; if the system is inconsistent, none of our argument matters at all.
Conclusion: It is absolutely consistent. We have absolutely no way to prove it. Take that, atheists.