Kurt Godel, Định lý bất toàn và hệ quả triết học