МЕТОД ГИПОТЕТИКО-ДЕДУКТИВНЫЙ

в формальных, умозрительных науках - математике и логике - теорией часто считают формальную аксиоматическую систему, к-рая интерпретируется на различн. моделях, причем теорию отличают от таких мод