1. Пов’язаний із застосуванням логіки в математиці або математичних методів у логіці; що стосується взаємозв’язку цих двох наук.
2. Характеристика мислення, діяльності або підходу, що поєднує строгі логічні міркування з формалізованими математичними методами анал