Do optimal proof systems exist? (guest post by Olaf Beyersdorff) http://speedupblogger.wordpress.com/2014/10/02/do-optimal-proof-systems-exist-guest-post-by-olaf-beyersdorff/ 読んでる。