Старикова И Доказательство от противного и мысленный эксперимент 25 10 2024