The Kochen-Specker theorem without a Hilbert lattice