Open Internet by MindsNetCould Gödel's incompleteness theorem become a major challenge for future Artificial Intelligence?