Have you tried beginning with the axiom "the problem is insoluble", and deriving a contradiction?
4:01 PM - 22 Feb 2017
0 replies
0 retweets
5 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.