If one adopts a constructivist framework following Brouwer or Bishop, the linear orderability of ℚ itself requires revision, undermining the asymmetry the Mostowski model purports to demonstrate.

?Rate how convincing each reason is below to see the overall strength.

No one has weighed in yet. Be the first to share reasons for or against this statement.

Bishop(history of mathematics): Errett Bishop was an American mathematician who developed constructive analysis, a stricter version of math that only accepts proofs you can actually build or compute.
Brouwer: Brouwer was a Dutch mathematician and philosopher (1881-1966) who fundamentally changed how mathematicians think about proof and logic. He argued that math shouldn't just accept something as true because it follows logically; instead, mathematicians should be able to actually construct or demonstrate mathematical objects to prove they exist. His ideas challenged the traditional approach to mathematics and influenced debates about the foundations of mathematical reasoning that continue today.
Linear orderability(as used in mathematics): The ability to arrange a set of numbers in a clear sequence from smallest to largest with no ties, like lining up students by height.
Mostowski model(as used in mathematical logic): A specific mathematical model (or 'pretend universe') created by mathematician Andrzej Mostowski to test ideas about how certain mathematical structures behave.

Based on where you are in your exploration