Teoremaの定義

単語定理は、ラテン語theormaから来る非自明の真理であるが、明白な場合. 定理はRAZ直感的な性質を生じるだけ演繹文字を持っているので、それは絶対的な真理の文字で受け入れられるように論理的な推論（デモンストレーション）のタイプを必要とします.
定理
の例としては、斜辺の和の二乗は、脚の二乗和に等しいです。. ゼロまたは5で終わる数が5で割り切れる場合.

Enはは、条件付きの一部または仮説が有効であるかどうかを満たしていると考えられる（直感的な真実などとして受け入れられるのに十分な証拠）条件付きの定理（仮説）と結論（論文）があるように仮定します. もはや必須の前提条件または他の既に実証定理や法則に依存している連結一連の引数つまりデモンストレーション、中定理.

は定理のの相反を考慮することは非常に重要です. これは、その仮説最初に（直接定理）の論文で、その論文の直接定理の仮説である別の定理になります. たとえば、次のように

直接定理、ゼロまたは5（仮説）で終わる数は5（論文）で割り切れる場合. 数は5（仮説）で割り切れる場合

相反定理は、ゼロまたは5（論文）で終了する必要があります. recprocos定理が満たされているほとんど常にあるので、私たちは非常に注意する必要があります.

最も有名な定理のいくつかは 履歴です：ピタゴラス、タレス、フェルマー、ユークリッド、ベイ​​ズ、中心極限、素数、モーリーのことは、とりわけ.

.