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

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