[eru]

You can have the same debate about logic and mathematics, or to some extent philosophy and mathematics.

[kriro]

You could throw set theory into the ring as well :)