Personal website Rudolf Adamkovič

Home / Logic / Existential quantifier


Example

There is no greatest integer \(k\) because

\begin{equation*} \forall k \in \mathbb{Z} \quad \exists \ell \in \mathbb{Z} \quad (\ell > k), \end{equation*}

that is

for every integer \(k\),
there exists some integer \(\ell\)
greater than \(k\),

such as \(\ell = k + 1\).


© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.