If one adopts a constructivist framework following Brouwer or Bishop, the linear orderability of ℚ i...