EDB — 22H

Exercises

1. [22H]Prerequisites:[1Z0]↺↻,[1Z1]↺↻.If $x\le y\le S(x)$ then $y=x\vee y=S(x)$.

   Solution 1

   [22J]↺↻

   (The meaning of this result is that $S(x)$ is the immediate successor of $x$, there is nothing in between...).