Computer Science is the purest science

It's the only system that can use itself to prove itself

>>137
Math isn't insisting on its truth, it's merely defining truth within some system and if that system is true, then other true statements follow.
If A then B is not the same as stating that A is true.