"teoretisk bevisføring" er et 21-bokstavers substantiv som brukes som synonym for "representasjonsteorem". representasjonsteorem betyr: En logisk framstilling som støtter en teori.