As is well-known, the Lowenheim-Skolem Theorem (I’m taking it from Schoenfield’s text–my comments will be in square brackets) If $ T$ is a countable [first-order] theory having a model, then $ T$ has a countable model. allows for the existence of countable transitive models of $ ZFC$ . Furthermore, following Skolem, Schoenfield writes: …We canRead more