If you want to (scientifically) prove something, you just can do it in the borders of a predefined system. If the case/fact can not be contained in your predefined system you have to either expand the (definitions of the) system or create a newly predfined system, to integrate the case/fact into it, in order to get a (scientifically) valid proof!