EDB — 25G

Esercizi

1. [25G] Usate l’assioma di buona fondazione [01R]↺↻ per mostrare che se \(A\) è transitivo e \(A≠ ∅\) allora \(∅∈ A\).

   Soluzione 1

   [25H]↺↻