"matematisk logikk" er et 17-bokstavers substantiv som brukes som synonym for "algebelta". algebelta betyr: Studiet av gyldige argumenter og regler for resonnement.