Maths›03. Logic and FoundationsChapter 8. Axiomatic SystemsAxiom of Choice, equivalent formulations, constructible universe, consistency results, and independence phenomena.