Простейшие примеры математических доказательств

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