Основания математики. Теория чисел. Математическая логика