Answer by Harry Gindi for Are there textbooks on logic where the references...
Bourbaki's book on set theory is kind of terrible, but it does develop set theory in this super-formalistic way that you're looking for.I suggest the French second edition instead of the English first...
View ArticleAnswer by Maestro13 for Are there textbooks on logic where the references to...
Funny that no one mentions Rosser's Logic for Mathematicians (1953). Try find a pdf on the web for download, or a second hand hard copy offered online. J Barkley Rosser first describes (to the grains...
View ArticleAnswer by Mohammad Safdari for Are there textbooks on logic where the...
I also had the same question for quite a long time. I looked at many books in logic and set theory, but none of them resolves this issue properly IMO. However, it was more or less clear that one can do...
View ArticleAnswer by Valery Isaev for Are there textbooks on logic where the references...
The problem with Gödel completeness theorem is that it is realy about sets already. It says that every consistent set of formulae has a model. Moreover, this theorem is actually non-trivial from...
View ArticleAnswer by Timothy Chow for Are there textbooks on logic where the references...
There's a fundamental difficulty with your claim thata mathematician can't use a term before giving its accurate definition.Mathematical definitions are always in terms of things that are already...
View ArticleAre there textbooks on logic where the references to set theory appear only...
This is cross posted from MathStackExchange. Since this is a reference request, I believe there will not be duplications of efforts in answers. This is also related to the question here.In textbooks on...
View Article