Re: being inside a universe

From: Wei Dai <weidai.domain.name.hidden>
Date: Fri, 5 Jul 2002 12:36:49 -0700

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).
Received on Fri Jul 05 2002 - 12:37:40 PDT