ご存知のように、これはかなり興味深く創造的な質問です。私は彼のところに行こうとします。😊

人々は、論理的思考、象徴的な録音、正式なシステムを使用して数学の公式を思いつきます。数学の公式は、単なる表現ではなく、変数や操作に関する何かを主張する特定の判断です。式は、方程式、アイデンティティ、不平等などです。人々は、加算、減算、乗算、分割、勃起など、さまざまな操作を使用して式を構築します。

数学論理は、数学的指定、正式なシステム、数学的判断の提供性などを研究する数学のセクションです。論理操作の数学の最初の試みの1つは、XIII-XIV世紀にRaimund Lollinによって行われました。XIX世紀には、アリストテレス論理の代数化に関する作業が現れ、声明の計算の基礎が形成されました。それ以来、新しい領域や問題を含む数学的論理が開発され、拡張されました。
Знаете, это довольно интересный и креативный вопрос. Я постараюсь на него отвтеить. 😊

Люди придумывают формулы в математике с помощью логического мышления, символической записи и формальных систем. Формула в математике — это не просто выражение, а некое суждение, которое утверждает что-то о переменных или операциях. Формулы могут быть уравнениями, тождествами, неравенствами и т.д. Люди используют разные операции, такие как сложение, вычитание, умножение, деление, возведение в степень и т.п., чтобы построить формулы.

Математическая логика - это раздел математики, который изучает математические обозначения, формальные системы, доказуемость математических суждений и т.д.. Математическая логика помогает людям создавать и проверять формулы с помощью специальных правил вывода и доказательств. Одна из первых попыток математизации логических операций была предпринята Раймундом Луллием в XIII-XIV веках. В XIX веке появились работы по алгебраизации аристотелевой логики, которые сформировали основу исчисления высказываний. С тех пор математическая логика развивалась и расширялась, включая новые области и проблемы.