Hacker News new | ask | show | jobs
by erichahn 1828 days ago
I think if Gödels proof needs Q then that is OK.

Q cannot prove its own consistency. Which means there is no way of telling that Gödels theorems are proved in a theory that is inconsistent (where everything is true).