3 ms·The theorem would exist anyway. Gödel just found it.by 77pt77 4y agoThe theorem would exist anyway. Gödel just found it.