Conversation

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

4

1

5

Replying to

or: how long is the shortest proof of a system's inconsistency

9:06 PM · Feb 3, 2017Twitter Web Client