Można. Jak się chce, to wszystko można.
\forall a\forall b\forall c\exists d [a \in \mathbb{N}\wedge b\in \mathbb{N}\wedge c\in \mathbb{N}\wedge d\in \mathbb{N}\wedge (a=b+d+d \vee b=a+d+d \vee b=c+d+d \vee c=b+d+d \vee c=a+d+d \vee a=c+d+d)]
(\forall x\forall y \{x\in \mathbb{N} \wedge y\in \mathbb{N}\wedge [x > y \Rightarrow f(x) > f(y)]\})\Rightarrow \{\not \exists x \forall y [x\in \mathbb{N} \wedge y\in \mathbb{N} \wedge f(x)>f(y)]\}