This is fantastic. I recently been studying set theory and discrete mathematics as a self-directed learner and it is incredibly helpful to see others hewing the same path.