Доказуемое и недоказуемое. Кибернетика