Theorem
id:
theorem-162-11200157
title:
Theorem
text:
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. In mainstream mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice (ZFC), or
brand slug:
wiki
category slug:
encyclopedia
description:
In mathematics, a statement that has been proven
original url:
https://en.wikipedia.org/wiki/Theorem
date created:
2001-10-24T01:40:08Z
date modified:
2024-08-27T21:19:55Z
main entity:
{"identifier":"Q65943","url":"https://www.wikidata.org/entity/Q65943"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/1/16/Pythagorean_Proof_%283%29.PNG","width":614,"height":1193}
fields total:
13
integrity:
16