We study the possibility of representing the proposition lattice associated with a quantum system by a linear vector space with coefficients from ap-adic field. We find inconsistencies if the lattice is assumed, as usual, to be irreducible, complete, orthocomplemented, atomic, and weakly modular.