[математика] дедуктивная логика
методология науки дедуктивная логика (форма умозаключения, означающая движение познания от общего к частному)
математика дедуктивная логика