Certain apparently paradoxical features of the standard theory of quantum mechanics: e.g., two slit experiment, non-locality in tests of Bell's theorem, are resolved by using the object of Dedekind real numbers in a spatial topos of sheaves on a quantum state space for the numerical values that physical quantities can take. In this talk, the quantum theory of Galilean relativistic particles of positive mass is discussed.