most recent 30 from http://mathoverflow.net 2013-05-25T10:05:30Z http://mathoverflow.net/feeds/user/22746 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/93470/introduction-to-systems-that-refer-directly-to-themselves/93487#93487 none 2012-04-08T07:51:30Z 2012-04-08T07:51:30Z

<p><a href="http://en.wikipedia.org/wiki/Self-verifying_theories" rel="nofollow">http://en.wikipedia.org/wiki/Self-verifying_theories</a> might be a good place to start.</p>