User:Asalmon

The list on here previously is now largely out of date. Use the list on the book page for Introduction to Axiomatic Set Theory.

I have now finished all the proofs in $\S 7$. The next chapter is on ordinal arithmetic. I will get tired of transfinite induction.

Template for me...

Basis for the Induction
This proves the basis for the induction.

Induction Step
This proves the induction step.

Limit Case
This proves the limit case.