It is defined by equivalency to a standard model. Whether there is a single standard model is a philosophical question (which granted most, but not all, set the

It is defined by equivalency to a standard model. Whether there is a single standard model is a philosophical question (which granted most, but not all, set theorists tend to agree with). Hence sigma_1 soundness is from a purely mathematical point of view a relative statement.