7 ms·
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
by erichahn 5y 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).