Основатели математической логики: история и вклад