Is there no use for some kind of branch of mathematics that can prove false things?

You would think that with how much math there is, there would be a whole field of working with uncertain proofs. I have no idea what for, but then again I'm not a math guy.