гипотетико-дедуктивная (логико-дедуктивная) теория

Теория, состоящая из постулатов и теорем. Постулаты — посылки, не поддающиеся прямой верификации; теоремы дедуцируются из постулатов и потому могут доказываться в эксперименте. Если эксперимент, призванный проверить теорему, протекает в предсказанном направлении, то его постулат косвенно подтверждается, а теория набирает силу. Если эксперимент идет не так, как было задумано, теория теряет силу. Гипотетико-дедуктивная теория постоянно изменяется в свете экспериментальных данных.