Пусть p(x) означает, что x простое число, o(x) означает, что целое x нечетное, e(x) - x четное, d(x,y) - y делится на x. использую кванторы, составить формулу утверждений: "любое целое число четно или нечетно", "любое целое число делится на какое-либо простое".
Основную задачу мы видим в том, чтобы исследовать процесс становления городов на территории Башкирии в XVIII в. на примере работы Оренбургской экспедиции и проследить изменение целей и задач, стоявших перед Оренбургской экспедицией комиссией на разных этапах ее деятельности.
Важное значение для изучения данной темы имеет определение основных этапов историографии и проблем, вокруг которых были сконцентрированы усилия исследователей предшествующих поколений. Первый этап в историографии городов Башкирии, а в частности Оренбурга, был связан с организованным Петром I географическим описанием и картографированием территории Российской империи. В 1715 году посылаются военно-географические экспедиции для составления карты Каспийского моря, а в 1717 г. была начата работа по составлению географических карт различных областей страны Буканова Р.Г. Города-крепости юго-востока России в XVIII веке. Уфа, 1997.С.10. Законченные карты посылались в Сенат и поступали в распоряжение обер-секретаря Сената И.К. Кирилова, который с 1734 г. до конца жизни возглавлял Оренбургскую экспедицию, сформированную по его инициативе. И. К. Кирилову были хорошо знакомы статистические, экономические, географические, исторические и другие материалы, которые поступили в Сенат в первой четверти XVIII в. из центральных и местных учреждений.