txaq007's Inescapable Error

[Kripke]

Since formal logic as we know it was invented by Frege, there is no answer as to what 'logic' Euclid used. He did not use formal logic in his reasoning.

"The original poster was curious if mathmeticians accept things as true even if they can't prove it and the answer for all intents and purposes is no."

I think most mathematicians accept the Goldbach conjecture as being true despite noone being able to prove it. So of course there are things that mathematicians accept as true even though they cannot prove it.

- Kripke