Ah... I think I get it. You want to play with intuitions, and see which premises would have to be proved in order to >end up with monotheism via set theory.
I don't think it would be possible to get around the point of defining God in terms of set theory.
Well now, here's a devious approach, which would probably appeal to me if I ever needed to make a career as a philosopher of religion.
Let's suppose a theist wants to "prove" that God - by his favourite definition - exists. For instance he could define a type G, whereby an entity g is of type G if and only if g is omnipotent, omniscient, perfectly good and so on, and has all those characteristics essentially and necessarily. Something like that. Then the theist finds a set of premises P, with some intuitive support, such that P => There is an uncaused cause.
And then he adds one other premise "Every entity that is not of type G has a cause" into the recipe to form a new set P'. He cranks the handle, and then P' => There is an entity of type G. Job done!
Just in case someone accuses him of "begging the question" or "assuming what he set out to prove" he then pulls out the modal trick. He just claims that it is possible that P' is true. This leads to the conclusion that "It is possible that there is an entity of type G". And then, remembering he's defined G so it includes necessary existence (if such a being is possible at all, it must exist), he can still conclude "There is a being of type G". Job done even better!
Can I have the Templeton Prize now please?
Huh. That modal trick is devious. But it doesn't work. I can assume an entity that does something easily measurable (e.g. gives Christmas present to children worldwide), and then slap on a necessary existence clause; but that doesn't necessarily mean that I can expect Santa later this year.
I think the 'necessary existence' clause requires a better justification in orderto be Templeton-worthy.
A few notes about the site mechanics
A few notes about the community
If English is not your first language, don't let that make you afraid to post or comment. You can get English help on Discussion- or Main-level posts by sending a PM to one of the following users (use the "send message" link on the upper right of their user page). Either put the text of the post in the PM, or just say that you'd like English help and you'll get a response with an email address.
* Normal_Anomaly
* Randaly
* shokwave
* Barry Cotter
A note for theists: you will find the Less Wrong community to be predominantly atheist, though not completely so, and most of us are genuinely respectful of religious people who keep the usual community norms. It's worth saying that we might think religion is off-topic in some places where you think it's on-topic, so be thoughtful about where and how you start explicitly talking about it; some of us are happy to talk about religion, some of us aren't interested. Bear in mind that many of us really, truly have given full consideration to theistic claims and found them to be false, so starting with the most common arguments is pretty likely just to annoy people. Anyhow, it's absolutely OK to mention that you're religious in your welcome post and to invite a discussion there.
A list of some posts that are pretty awesome
I recommend the major sequences to everybody, but I realize how daunting they look at first. So for purposes of immediate gratification, the following posts are particularly interesting/illuminating/provocative and don't require any previous reading:
More suggestions are welcome! Or just check out the top-rated posts from the history of Less Wrong. Most posts at +50 or more are well worth your time.
Welcome to Less Wrong, and we look forward to hearing from you throughout the site!
Note from orthonormal: MBlume and other contributors wrote the original version of this welcome post, and I've edited it a fair bit. If there's anything I should add or update on this post (especially broken links), please send me a private message—I may not notice a comment on the post. Finally, once this gets past 500 comments, anyone is welcome to copy and edit this intro to start the next welcome thread.