most recent 30 from http://mathoverflow.net 2013-05-25T12:00:13Z http://mathoverflow.net/feeds/user/24780 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/100898/finite-versions-of-godel-s-incompleteness/100911#100911 Elemer E Rosinger 2012-06-29T06:12:53Z 2012-06-29T06:12:53Z

<p>It is important to include the axioms as well, since there is a theorem of logic that an axiom system can be changed equivalently so that any given proof can be made arbitrarily sorter, or on the contrary, longer.</p>