Этот метод называется дедукция (лат. deductio – выведение) —выводы от общего к частному. Строгая дедукция из ясных, чётких положений обязательно даст истину.