Логіка математична

розділ логіки й математики, що досліджує проблеми обґрунтування в математиці, методи доведення, розробляє засади математики, застосовуючи математичні методи та спеціальний апарат символів