EDB — 271

Esercizi

1. [271]Sia

   $$P_x=\{z\in \mathbb{N},z<x\}$$

   mostrate che

   $$\forall x,y\in \mathbb{N},P_x=P_y\Rightarrow x=y$$

   usando le proprietà nell’Ipotesi [26H]↺↻.

   Soluzione 1

   [272]↺↻

   (Notate la somiglianza con [26S]↺↻).