EDB — 25G

Exercises

1. [25G] Use the axiom of foundation [01R]↺↻ to prove that if \(A\) is transitive and \(A≠ ∅\) then \(∅∈ A\).

   Solution 1

   [25H]↺↻