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.
Lahat ng theorems namin ng estado na walang explicitly na tumutukoy sa sistema S S o sa kung saan ang teorama ay may-bisa ay sinadya upang maging absolute, na, valid na malaya ng kung S o S ay totoo.