аксиом и правил вывода. Аксиомы - это независимые истинные утверждения, которые принимаются без доказательства. Правила вывода позволяют проводить логические рассуждения на основе аксиом и уже доказанных утверждений.

Существует несколько видов доказательств в математической логике, таких как дедукция, индукция, противоречие и т.д. Дедукция - это логическое умозаключение, при котором из некоторых предположений выводится новое утверждение. Индукция - это метод доказательства общезначимых утверждений через конструкцию ряда частных утверждений. Противоречие - это метод доказательства, при котором предполагается, что утверждение неверно, и из этого предположения выводится противоречие.

Таким образом, математические доказательства строятся на логических законах и правилах вывода, которые помогают убедиться в истинности или ложности утверждений.