Интенсивное развитие математической логики в последнее время сопровождается увеличением её роли в математике.Одной из основных задач математической логики остаётся анализ оснований математики. Но в настоящее время она уже вышла из рамок этой задачи и...