Tarski's theorem about choice (source code)

= Tarski's theorem about choice
{wiki=Tarski's_theorem_about_choice}

Tarski's theorem about choice, often referred to in the context of set theory, particularly relates to the concept of choice functions and collections of sets.