On: Equations True Computer Science Geeks Should (at Least Pretend to) Know

[nkassis]

Well Godel had to use Logic to prove this. I guess what he meant is logic allows mathematicians to talk about mathematics at a meta level. I wouldn't say a superset of Math since it's still very much mathematics.

http://en.wikipedia.org/wiki/Metamathematics