Почему гипотеза?

[im_ieee]

Следствие из теоремы о дедукции:
$(A \to B), (B \to C) \vdash (A \to C)$
Доказательство:
$(A \to B)$ - гипотеза
$(B \to C)$ - гипотеза
$A$ - гипотеза
На этой формуле уже непонятно Почему A - гипотеза, ее же нет в списке формул до \vdash?

[Mysterious Light]

Можно доказать, что $A,(A\to B),(B\to C)\vdash C$, здесь 3 гипотезы. Тогда, применяя теорему о дедукции относительно $A$, получим доказываемое утверждение. Теорема о дедукции позволяет уменшить количество гипотез на одну.

[im_ieee]

Mysterious Light
Спасибо, понял, что имеется в виду.

(Оффтоп)

Странно, неужели это настолько очевидно, что автор учебника не упоминает об этом?