Hmm. Just ignore this post. I can't put the logic symbols on here without a great struggle, I'm going to ignore one of these axioms and continue with the book.
Very simple question :smile:
Are the Pairing Axiom and the Union axiom in the Zermelo–Fraenkel set theory the same?
I have a book that states them as the following:
Pairing Axiom: For any sets u and v, there is a set having as members just u and v.
Union axiom: For any sets a and b there...
I do exactly the same thing as you do, I find that it is much better to get many different view points on the same thing and leads to a greater understanding.
Well, for the most part we're going to be using a forum. And in the chat room dissuasions we can use a off site math bin to. Your right that if we tried to post any lengthy math problem in a chat room it would take unnecessary time to decode it.
If it can produce either a prime or a composite, how do you know which one you found? And if you found a composite number wouldn't that make the proof meaningless? I don't get it :(
Thanks for that suggestion, but unfortunately it appears that book is not in the public domain. ): That looks like a great book though (I may get the hard copy at some point).
Anyone else have a link for a intro. to axiomatic set theory which is in the public domain?
I'm looking for a book that can stand as an introduction to axiomatic set theory (if it contains basic logic even better).
Only thing I need it to be in the public domain and freely available online, anyone know of anything?
Thanks in advance!
The idea is to start with the basics. And what I mean by 'basics" is that we are going to begin with the very foundation of set theory and use basic logic. The goal of the group is to find people and set it up so anyone interested can take part (the text we'll find will be an introductory text...
Hello andytoh,
Yes the idea is that everyone will be using the same text (I'm looking at some free ones we can download of the internet). We will be able to discuss the text via a forum (I've set up a test one, for the moment). I'll send you the forum url, as of yet though I'm undecided about...
I don't think it breaks down either, that is used in the theorem in finding that there are infinite amount of primes. So they must have proved that at some time too (though I couldn't find it). I've been interested in this also, since I noticed it.