Homeomorphism and the Equivalence of Logical Systems