Matemaatiline loogika

Allikas: Vikipeedia

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