Математическая логика
Математическая логика — раздел математики.
Исторические сведения
Математическая логика как раздел современной математики сформировалась сравнительно недавно — на рубеже XIX – XX вв. Возникновение и быстрое развитие математической логики в начале XX века было связано с так называемым кризисом в основаниях математики.