Une théorie est vraie si elle est énonçable selon les règles de la logique formelle, et si ses conséquences sont vérifiables par tout observateur.