Specifying a topological space by its open sets is legitimate and yields intuitionist logic, which s...