Список проголосовавших за комментарий "MENERAVV, или вот еще интересный пример, может немного не по теме, но все же. Парадокс Расселла. Должен ли он был действительно убить наивную теорию множеств?<br/> <br/> Рассел декларирует парадоксальное множество: множество всех множеств не содержащих себя в качестве своего элемента.<br/> <br/> Я декларирую: Нежирный жир.<br/> <br/> Обе декларации противоречивы, но почему во втором случае мое утверждение не приводит к исчезновению жира на планете?:)<br/> <br/> Я к тому, чт сам факт того, что в рамках системы можно сделать противоречивое суждение(система допускает его), вовсе не означает, что система не работает.<br/> <br/> С другой стороны, если мы обнаружили в системе н-ное количество противоречий, и спрятали их за аксиоматикой, это вовсе не доказывает того, что их там больше нет, иными словами, мы можем называть систему непротиворечивой, но нет никаких доказательств этого непротиворечия. Это относится к любой математической теории."