Now that we've seen how first-order logic influences proof structure, we'll circle back around to set theory and see how to rigorously prove results about sets. This skill will become indispensible later in the quarter as we talk about what it formally means to solve a problem.
Readings
Links