"matematisk bevisførelse" er et 23-bokstavers substantiv som brukes som synonym for "algebelta". algebelta betyr: Logisk argumentasjon for å etablere sannheten av en påstand.