EDB — 271

Esercizi

1. [271]Sia

   \[ P_ x =\{ z∈ ℕ, z{\lt} x\} \]

   mostrate che

   \[ ∀ x,y∈ ℕ~ ,~ P_ x = P_ y ⇒ x=y \]

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

   Soluzione 1

   [272]↺↻

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