News for hackers. Stuff that matters.
Re:How many real numbers exist? New proof moves closer to an... by dwohnitmok on Thursday July 15, 2021 @01:57PM (#27847798)
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.

There are no comments on this comment yet.