Revision as of 11:06, 23 December 2005 edit Randall Holmes (talk \| contribs) Extended confirmed users 945 edits →terminology ← Previous edit		Revision as of 18:41, 24 December 2005 edit undo Randall Holmes (talk \| contribs) Extended confirmed users 945 edits No edit summary Next edit →
Line 42: : If you look at the end of the [[New Foundations]] article, you can see a summary of the stronger extensions of NFU and the levels of strength in terms of the usual approach to set theory that they represent. [[User:Randall Holmes\|Randall Holmes]] 09:15, 23 December 2005 (UTC) == new section == I added the new "preliminaries" section to clarify issues of what I mean by "working in a theory" or "defining" or "constructing" objects there. [[User:Randall Holmes\|Randall Holmes]] 18:41, 24 December 2005 (UTC)

Talk:Implementation of mathematics in set theory: Difference between revisions