 Here \(\alpha(n)\) denotes the \(n\)-th element of \(\alpha\). To see that this negations holds, suppose, arguing by contradiction, that \(\neg\forall\alpha(\forall n\alpha (n)=0 \vee \neg \forall n\alpha (n)=0)\) holds. This implies that 