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.

Suspending work on ordinal arithmetic. Moving to $\S 9$.

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.