#
I know that Gödel shows that there are true claims S that are not provable. The epistemic question is "How do we know S is true". Is it "true" in the same way that axioms of Euclid's geometry are true?

Read another response by Peter Smith

Read another response about Logic