It's a tradeoff. You can have excluded middle in your logic or infinitestimals in your extended reals. For mathematicians dealing with all the wild stuff coming out of studying infinities in the calculus, getting rid of excluded middle was a non-starter, so the system based on limits was created. If non-constructible proofs via contradiction aren't useful to you, as in physics, then you can certainly use infinitesimals.