Выведение
— см. Дедукция.
Оглавление