I always get a kick out of the overlap between philosophy and math when it comes to formal logic/ proofs. Like, the underpinnings for dissecting an argument are exactly the same regardless of whether the discussion is about number theory or what it means to have consciousness.