https://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem Lowenheim?Skolem theorem Consequences The proof of the upward part of the theorem also shows that a theory with arbitrarily large finite models must have an infinite model; sometimes this is considered to be part of the theorem. (引用終り) 以上 []
