I misinterpreted this: “we can never know all the truths of euclidean geometry, but we can still specify euclidean geometry via a set of axioms. Not so for arithmetic.”
Richard: Gotcha. Sorry if it was unclear which part the “not so” referred to.
I misinterpreted this: “we can never know all the truths of euclidean geometry, but we can still specify euclidean geometry via a set of axioms. Not so for arithmetic.”
Richard: Gotcha. Sorry if it was unclear which part the “not so” referred to.