"matematisk bevisføring" er et 22-bokstavers substantiv som brukes som synonym for "grunnligning". grunnligning betyr: En logisk argumentasjon for å bevise en påstand.