Something is provable if it can be derived from the axioms of the mathematical system. If you apply that to a mind, then the mathematical system is the brain and everything it's ever interacted with (which covers a pretty big chunk of the universe, actually), the rules of the system are the laws of physics, and the axioms are the initial conditions. So.. if something happens, then that's proof that it can happen. Gödel's theorem just means there are states that the system can never reach even though they're technically possible (if it applies at all in this case.. the universe is Turing complete though, which makes it a powerful enough system, right? Assuming it's computable...). That's not actually very surprising, and doesn't necessarily have anything to do with gender...