On Fri, Jul 05, 2002 at 09:52:39AM -0700, Wei Dai wrote:
> Soundness as far as I understand it applies to an
> axiomatic theory, that is, the theory is sound if you can't deduce "false"
> from its axioms.

Sorry, I mixed up soundness and consistency here. It doesn't affect my
point, but actually soundness means every theorem is semantically true,
and consistency means you can't deduce "false" (in other words "A and not
A" is not a theorem).

Reply via email to