In classical logic, trichotomy on the reals (any given numbers is either >0, <0 or =0) is provably true; in intuitionistic logic it is probably false. Thanks to Godel’s incompleteness theorem, we’ll never know which is right!