sanningsvärde

Till en modell kan associeras ett första ordningens språk, vars formler får en tolkning i modellen och därigenom ett sanningsvärde.

Att kontinuumhypotesen är oavgörbar innebär, enligt dem som förespråkar matematisk realism, att axiomsystemet ZFC inte beskriver den matematiska verkligheten tillräckligt precist för att kontinuumhypotesens verkliga sanningsvärde skall kunna avgöras.

Moore erkänner visserligen att vi aldrig kan vara helt säkra på en sats sanningsvärde men att vi kan ha visshet om många enskilda sakförhållanden i världen.