most recent 30 from http://mathoverflow.net 2013-05-25T08:48:30Z http://mathoverflow.net/feeds/user/11910 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/50550/asymptotic-density-of-provable-statements-in-zfc/50715#50715 none 2010-12-30T10:13:33Z 2010-12-30T10:13:33Z

<p>I think if you order the formulas by increasing length, then the asymptotic density of the provable ones is zero. See: <a href="http://www.cs.auckland.ac.nz/~cristian/aam.pdf" rel="nofollow">http://www.cs.auckland.ac.nz/~cristian/aam.pdf</a></p>