MercurialBlack, 5 months ago @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.
@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.