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…

    • sga@lemmings.world
      link
      fedilink
      English
      arrow-up
      3
      ·
      10 hours ago

      might as well take a safety factor of 2, so I can use τ, which requires less tie to write than π (I am a engineer)