To clarify:
reply“Sound” != proof of soundness in the same way that the Riemann Hypothesis being true is not the same as RH being proven.
Not a bad analogy. Damn good.
reply> "Sound" means free of contradiction with respect to the axioms assumed.
replyGödel wept.