I've been leaning towards intuitionism for exactly this reason. Sadly, it makes a lot of results harder to proof (and iirc it even makes some results impossible

I've been leaning towards intuitionism for exactly this reason. Sadly, it makes a lot of results harder to proof (and iirc it even makes some results impossible). I've been toying with the idea that these results are simply 'not useful'.