Also known as Kuratowski–Zorn lemma
statement equivalent to the axiom of choice, about the existence of a maximal element in a poset with a maximal chain condition
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).