Да, это пример утверждения к которому нельзя прийти путем логики, но для которого существует логическое доказательство, т.к. само по себе утверждение носит от части аксиоматический характер. Во всяком случае трансформирует аксиоматическую систему - оно очевидно, как и любая порядочная аксиома:)
d0rc обратиться по имени
Вторник, 08 Ноября 2005 г. 09:05 (ссылка)
