"matematisk logikk" er et 17-bokstavers substantiv som brukes som synonym for "Pytagoras". Pytagoras betyr: Studiet av formelle systemer og resonnement