The Stacks project

95 Artin's Axioms