Танюша, спасибо!!! Услуга не подключена :-(. Ну ладно попробую так... на электронку то хоть что-нибудь придет, надеюсь *-).
__________________
в любой достаточно богатой системе аксиом существует утверждение, которое внутри этой выбранной системы аксиом нельзя ни подтвердить, ни опровергнуть.