Matemaatiline loogika

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