Home

Watson-ZFC

"The nine most terrifying words in the English language are: I'm from the Government, and I'm here to help."

Unfortunately for us, Reagan was an idiot; fortunately for him, he didn't know any set theory. Nine words that are significantly more terrifying than the idea of striving for a more equitable nation are:

"Learn some set theory and then prove numbers exist"

Watson-ZFC is a an online math textbook I'm writing with Daniel James for the Watson proof assistant. Our goal is to provide documentation for Watson by proving as much math as we can manage. You can click on the title for a more detailed explanation and the image below for a proof that the cartesian product works how we think it does