Matemaatiline loogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.
Kategooriad: Matemaatika