>Karl Malbrain wrote: >> Jiri Lebl wrote: >>> 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> >>> To say that is about as stupid as to say something like "Do you believe >>> in a screwdriver." It is a tool that you use, just like set theory. >> >> Far from stupid, I believe in a screwdriver when I meet up with a loose >> screw -- I suppose others might believe in a hammer. > >The distinction I'm trying to make, between "believe" and "use", is >obviously only going to be meaningful to people who regard "believe" and >"use" as different words, with different meanings.
The question I have is whether you or others believe in the possibility of universally exhaustively true mathematical axioms?