(PeterTaylor) I can prove anything I want. All I need to do is take the correct axioms.
I didn't do it, nobody saw me, you can't prove a thing...--Jumlian, quoting the originator.
Sadly, I have already stolen many axioms that you would need, and I can happily steal any others that you take too. Which ought to keep you from proving stuff until I have made my getaway.