Exactly. There are enough connections within mathematics that almost any field can be seen as an abstruse development of almost any other field, and indeed, most mathematicians have the belief that their field is the most truly fundamental one. What we just saw here is a computer scientist looking to suborn mathematical logic as a special case; naturally, the opposite interpretation is just as valid.