Set Theory & Foundations of Arithmetic – Lecture 15 (Logic)

In the von Neumann construction of the naturals, how is 0 defined?

1. A.As the singleton {∅}
2. B.As the set containing every natural number
3. C.As the successor of −1
4. D.As the empty set ∅