- Well-ordering theorem (Wikipedia)
In mathematics, the well-ordering theorem, also known as Zermelo’s theorem, states that every set can be well-ordered. A set X is well-ordered by a strict total order if every non-empty subset of X has a least element under the ordering. The well-ordering theorem together with Zorn’s lemma are the most important mathematical statements that are equivalent to the axiom of choice (often called AC, see also Axiom of choice § Equivalents). Ernst Zermelo introduced the axiom of choice as an “unobjectionable logical principle” to prove the well-ordering theorem. One can conclude from the well-ordering theorem that every set is susceptible to transfinite induction, which is considered by mathematicians to be a powerful technique. One famous consequence of the theorem is the Banach–Tarski paradox.
- Pleiades (Wikipedia)
The Pleiades (/ˈpliː.ədiːz, ˈpleɪ-, ˈplaɪ-/), also known as , The Seven Sisters, Messier 45, Matariki and other names by different cultures, is an asterism and an open star cluster containing middle-aged, hot B-type stars in the north-west of the constellation Taurus. At a distance of about 444 light years, it is among the nearest star clusters to Earth. It is the nearest Messier object to Earth, and is the most obvious cluster to the naked eye in the night sky. It is also observed to house the reflection nebula NGC 1432, an HII region.