"logisk bevis" er et 12-bokstavers substantiv som brukes som synonym for "representasjonsteorem". representasjonsteorem betyr: En argumentasjon som viser sannheten i en teori.