w23-logic-2/inputs/lecture_06.tex

\lecture{06}{}{AC and the well ordering theorem}