Item
0.2.16.e
.
\(\forall x \neg \exists y (x \lt y \lt x+1)\text{.}\)
in-context