Основы математической логики и принципы отражения в множестве натуральных чисел. Изучение символов и свойств действительных чисел