Gib für die Aussage $\mathrm{\neg }(\mathrm{\exists }x\in \mathbb{Z}:x^2=5)\backslash neg\; (\backslash exists\; x\; \in \; \backslash mathbb\{Z\}\; :\; x^2\; =\; 5)$ eine äquivalente Aussage an, die keinen Existenzquantor enthält (Allquantoren sind erlaubt).