Matematik mantiq matematikaning ostmaydoni hisoblanadi va matematikaga rasmiy mantiqni tadbiq qiladi.