4 ms·No he showed either there are true statements that cannot be proved, OR the system is inconsistent...by hnfong 2y agoNo he showed either there are true statements that cannot be proved, OR the system is inconsistent...