Personal website Rudolf Adamkovič

Home / Logic / Universal quantifier


Example

There is no smallest 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\)
smaller 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.