# Theorem Proving in Mathematics

DevFeed: [Theorem Proving in Mathematics](<https://devfeed.tech/articles/theorem-proving-in-mathematics-40755.md>)

Original publisher: [Read original article](<https://radek.io/posts/theorem-proving-in-mathematics/>)

Published: 2011-10-24T00:00:00Z

Content type: tutorial

Language: en

Sources: [Radek Pazdera](<https://devfeed.tech/sources/radek-pazdera.md>)

Topics: [Math and Logic](<https://devfeed.tech/topics/math-and-logic.md>), [Mathematics](<https://devfeed.tech/topics/mathematics.md>), [math](<https://devfeed.tech/topics/math.md>)

Tags: [induction](<https://devfeed.tech/tags/induction.md>), [logic](<https://devfeed.tech/tags/logic.md>), [mathematics](<https://devfeed.tech/tags/mathematics.md>), [predicate](<https://devfeed.tech/tags/predicate.md>), [reasoning](<https://devfeed.tech/tags/reasoning.md>), [sequence](<https://devfeed.tech/tags/sequence.md>), [statement](<https://devfeed.tech/tags/statement.md>)

## AI overview

This tutorial introduces mathematical proof as deductive reasoning from axioms and previously established theorems. It explains direct proof with a worked equation example and begins discussing proof by mathematical induction and its connection to predicate logic.

## Source excerpt

The most common methods of proving you're explained