Describing the number 2 like there exists a z there exists a y there exists an x x in y and forall k k notin x and forall j j = x or j not in y and forall i i = x or i = y or i not in z
@MercurialBlack what basis is there for the number 2? Is it just the classic "let's assume 2 exists and just describe it with 5000 theorems making sure no other number fits"?
@Ukko it's the smallest set with the property that 0 < 1 < 2, which is done with \in. 0 is defined as {}, and all other numbers are defined recursively as x U {x}.
It's the second smallest element of the smallest inductive set.
Add comment