'(·) on Twitter: "@ProverbialIdiot which is why the addendum, yeah" / Twitter

what is the length of the shortest contradiction you can produce in an inconsistent axiom system

Conversation