Доказательство через необходимость: Логические подходы и методы