"matematisk bevisføring" er et 22-bokstavers substantiv som brukes som synonym for "Pytagoras". Pytagoras betyr: Logisk fremstilling for å bevise en påstand