Context:

In ZFC set theory (which most of modern maths is built upon). The natural numbers are defined as recursions of empty sets.

Ie. 0 = ∅ (the empty set)

1 = {∅} = {0}

2 = {∅, {∅}} etc…

  • @[email protected]
    link
    fedilink
    English
    415 days ago

    2 is the successor of 1

    holup, what the hell is a “1”? did you mean to say succ(0) by chance?