3 ms·

Part of the problem is, how do you know you can't prove it rather than just that you haven't proved it, without some kinda of metatheory framework?