00:22
Let $\varnothing\not=B\subset(\mathbb N\cup A)$. \begin{align}B&=B\cap(\mathbb N\cup A)\\ &=(B\cap A)\cup (\mathbb N\cap B).\end{align} Let $a$ be the least element of the finite set $B\cap A$, if it exists. Let $m$ be the least element of $B\cap\mathbb N$, if it exists. By ordering principle of $\mathbb N$, then the min of the two element set $\{a,m\}$ is the least element of B.
« first day (1 day earlier) ← previous day last day (14 days later) »
Transcript for
Nov8
Nov '179
Nov23
Discussion between fredgoodman and IV…
Imported from a comment discussion on math.stackexchange.com/q...