haha, I was reading back to the first few pages of this thread..
PwnerKebab, perhaps you should check out Bertrand Russell, a philosopher of mathematical logic if you are so inclined. :)
Bertrand Russell - Wikipedia, the free encyclopedia
Principia Mathematica - Wikipedia, the free...