most recent 30 from http://mathoverflow.net 2013-05-23T11:52:07Z http://mathoverflow.net/feeds/user/21472 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/62818/the-sets-in-mathematical-logic/88699#88699 The Puzzled Logician 2012-02-17T08:41:16Z 2012-02-17T08:41:16Z

<p>I happen to realize the same apparent circularity in mathematical logic. If it purports to establish a foundation for mathematics, it seems to me its methods need to be different from mathematical methods. However, I have the uneasy feeling that one still is doing mathematics when studying mathematical logic. In spite of all this ambivalence, I think it presents a rather satisfying foundation for other branches of mathematics such as abstract algebra. It then seems to be a pretension to think that mathematical logic offers a foundation for "all" mathematics; maybe, philosophy can help with this matter.</p>