theorem

In mathematics, a statement that has been proved

EntityQ65943

Also known as mathematical theorem · mathematical sentence

Subclass of: proposition
, conclusion
Part of: formal proof

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The proof of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems.

Overview

All data

40 statements · 18% with external sources · numbers in brackets are citations

Uses: axiomatic system
deductive reasoning
Members / parts: hypothesis
conclusion
mathematical proof
Has characteristic: existence relative to: axiomatic system · characteristic of: mathematical proof
Based on: axiomatic system
Properties for this type: studied by
EntitySchema for this class: E448 maintained by wikiproject: WikiProject Mathematics/1000+Theorems · on focus list of wikimedia project: WikiProject Mathematics/1000+Theorems
Has list: list of theorems

On other databases

24 identifiers linking theorem across the web's reference databases

Data quality

statements

18%

externally sourced

Source last edited September 19, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q65943

API docs, limits & keys

Cite this page

AIDB. (2026). theorem (Q65943). Retrieved from https://aidb.si/e/theorem-Q65943