Please don't get me wrong, I think this is a great contribution; many of these ideas are hard to follow in their original presentations, especially given notations that are very hard for us to identify with (next up...monads in Ruby).

I took an advanced logic class in university where we went on to re-derive the natural numbers (and operations on) using sets alone; this is well known, but to the typical CS undergrad, it was kind of crazy and eye opening!