BAZA:\quad T(1)\\KORAK:\quad (\forall n\in\mathbf{N}\setminus\{1\})\Big(T(1)\&T(2)\&\ldots\&T(n-1)\Rightarrow T(n)\Big)