Twierdzenie jest poprawne jeśli można je wyprowadzić z aksjomatów teorii. Teoria uzyskuje sens empiryczny oraz prawdziwość odpowiednio do wiarygodności i zupełności przyporządkowania jej ogółowi empirycznych faktów. Poprawne twierdzenie zapożycza prawdziwość od prawdziwości teorii do której należy.