Karl Malbrain wrote: > Patricia Shanahan wrote: >> Ultimately, I don't think the subject of this thread even asks the right >> question. It should be "Set theory: Should you use?". I don't even know >> what it means to believe set theory. >> > > Believing means to agree with the axioms of set theory. > > intransitive verb > 1 a : to have a firm religious faith b : to accept as true, genuine, or > real <ideals we believe in> <believes in ghosts> > > karl m >
That pushes it back to the question of what does it mean to "agree with the axioms".
It could either mean "agree that they appear to be good, workable, axioms", or "agree that they are true, in some absolute sense that would make contradictory sets of axioms false".
I agree with them in the first sense, but not the second.
I do not believe in them as a matter of religious or similar belief. For example, I would not be particularly disturbed if I heard tomorrow that someone competent to evaluate proofs had found a proof of inconsistency of ZF.