All theorems we state without explicitly specifying the system S or S in which the theorem is valid are meant to be absolute, that is, valid independently of whether S or S is true.
Kaikki teoreemojen meidän valtio ilman nimenomaisesti täsmennetään järjestelmän S tai S, jossa lause on voimassa on tarkoitus olla ehdoton, että on voimassa riippumatta siitä, onko S tai S on totta.