allen · 3w heine borel and anything relying on compactness fails. weirdest/coolest result is IVT fails too, which is bizarre because on R continuity is strictly stronger than IVP, but in dense-but-not-complete ... allen @allen 1769248417 speaking of which, @giacomozucco, do you even believe the reals exist? 1❤️1🤭1