4 ms·You forgot valid machine checkable proofs. That's quite a tall order. Godel and all that.by KirillPanov 3y agoYou forgot valid machine checkable proofs. That's quite a tall order. Godel and all that.