Метод мислення, який полягає в переході від загальних тверджень до часткових, називається дедукцією (саме слово "дедукція" означає висновок).
Однією з особливостей математики є дедуктивна побудова теорії, при якій усі твердження виводяться з кількох основних положень, які називаються аксіомами, та раніше доведених тверджень (теорем). Кожна теорема є загальним твердженням. Теореми ми доводимо саме для того, щоб потім використовувати іх для розв'язування різних конкретних задач, які є частковими випадками застосування загальних тверджень.
Дедукція - це не єдиний метод наукового мислен