I don't know what belief means in mathematics.
Same as any other topic. "I believe P" means that I think that P is true, but I have no actual proof of P which I consider valid (i.e. that P is unproved or unprovable, by my standards, or else that I have taken it as an axiom).
I don't know what you are referring to with this.
Oh, I thought you knew all about countability and
R.
As to (P => R & Q => R) => (P \/ Q => R), it's a logical tautology (the law of \/-elimination). See this table:
OK, thank you for your honesty. You're not a mathematician then.
Oh, I certainly am a mathematician. I'm not
making false statements.
But when you say that 2+2=4 is unquestionably true, I take issue.
First, 2+2=1 in Z/3Z.
Well,
first, I was using 2+2=4 in its usual sense, to talk about numbers in
Z (or
R). And
second, in
Z/3
Z, we have 1=4=7..., so 2+2=4 is still true.
Second, any mathematician knows that mathematics is nothing but assumptions, definitions, and the conclusions that follow.
That's the
Formalist approach to mathematics. Most professional mathematicians instead tend to be
Platonist, endorsing that paragraph from Roger Penrose I quoted. That is, most professional mathematicians believe that truths about numbers are eternal truths. But even Formalists believe that truths about
logic are eternal truths (otherwise "conclusions that follow" would have no meaning).
Third, we have another counter example. If mathematics has absolute truths in it, then tell me: do parallel lines cross?
Well, no, not in ordinary geometry, by definition. Now possibly you were talking about the real projective plane (in which case the answer is yes, by definition), or possibly you were asking "
given a line and a point not on it, how many distinct lines parallel to the given line can be drawn through the given point?"
If the latter, the answer is:
be more specific. For geometry in the Euclidean plane (
R^2), it is an eternal truth that there is exactly one. For geometry on the surface of a sphere, it is an eternal truth that there are none.